Module Sets.Global_ident

include sig ... end
class 's monoid : object ... end