Up
–
frama-c
»
Frama_c_kernel
»
Lattice_type
» With_Cardinal_One
Module type
Lattice_type.With_Cardinal_One
type
t
val
cardinal_zero_or_one :
t
->
bool