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