Comp_unused
Default implementation for the Compositional_bool argument of the functor Make. To be used when no interesting compositional bit can be computed.
Compositional_bool
Make
val e : bool
val f : 'a -> 'b -> bool
val compose : bool -> bool -> bool
Frama-C