Set.M
module Impl : Stdlib.Map.OrderedType
include REPRABLE with type t = Impl.t
type t = Impl.t
val t : t -> repr