Local_ident.monoid
method private zero : (Hax_engine.Local_ident.t, Hax_engine.Local_ident.comparator_witness) Hax_engine.Prelude.Set.t
method private plus : ('b, 'c) Hax_engine.Prelude.Set.t -> ('b, 'c) Hax_engine.Prelude.Set.t -> ('b, 'c) Hax_engine.Prelude.Set.t