Up
–
frama-c
»
Frama_c_kernel
»
Lattice_type
» With_Top_Opt
Module type
Lattice_type.With_Top_Opt
type
t
val
top_opt :
t
option
optional largest element