Ty_repr.Map
module M : ORDERED_REPR
type 'a t = 'a Stdlib.Map.Make(M.Impl).t
val t : ('a -> repr) -> 'a t -> repr