Up – hax-engine » Hax_engine » Mutable_variables » Make » LocalIdentOrData » set_monoid

Class `LocalIdentOrData.set_monoid`

method zero : 's

method plus : 's -> 's -> 's