package frama-c

  1. Overview
  2. Docs
package frama-c
Legend:
Library
Module
Module type
Parameter
Class
Class type

Default implementation for the Compositional_bool argument of the functor Make. To be used when no interesting compositional bit can be computed.

val e : bool
val f : 'a -> 'b -> bool
val compose : bool -> bool -> bool