Local_ident (hax-engine.Fstar_backend.Attrs.U.Sets.Local

type nonrec t =
  (Hax_engine.Local_ident.t, Hax_engine.Local_ident.comparator_witness)
    Base__Set.t

class 's monoid : object ... end