module type S = sig .. end
sig
end
type t
val mempty : t
t
mappend mempty x = mappend x mempty = x
val mappend : t -> t -> t
t -> t -> t