Up – frama-c-eva » Numerors » Value » Make » Model » Computation » Bool

Module `Computation.Bool`

val only_if : bool -> unit t -> unit t