Up
–
frama-c-e-acsl
»
E_ACSL
»
Interlang_gen
»
M
» Bool
Module
M.Bool
monadic convenience functions around booleans
val
only_if :
bool
->
unit
t
->
unit
t