Concrete_ident (hax-engine.Fstar_backend.Attrs.U.Sets.Concrete

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

class 's monoid : object ... end