Up
–
frama-c
»
Frama_c_kernel
»
Composition
»
Make
»
Exterior
» Bool
Module
Exterior.Bool
monadic convenience functions around booleans
val
only_if :
bool
->
unit
t
->
unit
t