Up
–
frama-c
»
Frama_c_kernel
»
Option
» Bool
Module
Option.Bool
val
only_if :
bool
->
unit option
->
unit option