Up
–
Index
»
goblint
»
Lattice
» Num
Module type
Lattice.Num
val
x :
unit
->
int