Sets.Global_ident
type nonrec t = (Hax_engine.Ast.Global_ident.t, Hax_engine.Ast.Global_ident.comparator_witness) Base__Set.t
class 's monoid : object ... end