Up – hax-engine » Hax_engine » Phase_reject » Unsafe » UB » Sets » Local_ident » monoid

Class `Local_ident.monoid`