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

Class `LocalIdentOrData.map_monoid`

method zero : 's

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