Module Sets.Concrete_ident

class 's monoid : object ... end