Module Register_pp (M : sig .. end) : S with type t := M.t

Register_pp is like Register, but allows a custom pp function rather than using to_string.