Up
–
frama-c
»
Frama_c_kernel
»
Monad
»
Make_based_on_map_with_product
» Bool
Module
Make_based_on_map_with_product.Bool
val
only_if :
bool
->
unit
t
->
unit
t