Hoist.bool_monoid
method private zero : bool
method private plus : Hax_engine.Prelude.bool -> Hax_engine.Prelude.bool -> Hax_engine.Prelude.bool