Up
–
Index
»
goblint
»
Lattice
» Top
Module type
Lattice.Top
type
t
val
top :
unit
->
t
val
is_top :
t
->
bool