Up
–
Index
»
goblint-cil
»
GoblintCil
»
Pretty
»
MakeMapPrinter
» Map
Parameter
MakeMapPrinter.Map
type
key
type
'a t
val
fold :
(
key
->
'a
->
'b
->
'b
)
->
'a
t
->
'b
->
'b