Up
–
gillian
»
Gillian
»
Gil_syntax
»
Visitors
»
Utils
» list_monoid
Class
Utils.list_monoid
method
private
zero :
'b
list
method
private
plus :
'a
list
->
'a
list
->
'a
list