Up
–
gillian
»
Gillian
»
Gil_syntax
»
Visitors
»
Utils
» ss_monoid
Class
Utils.ss_monoid
method
private
zero :
SS.t
method
private
plus :
SS.t
->
SS.t
->
SS.t