Up
–
hax-engine
»
Hax_engine
»
Side_effect_utils
»
MakeSI
»
SideEffects
» monoid
Class
SideEffects.monoid
method
private
zero :
t
method
private
plus :
t
->
t
->
t