Frama-C API - `E_ACSL`

E-ACSL.

module Options : sig ... end

module Error : sig ... end

module Translate_terms : sig ... end

module Translate_predicates : sig ... end

module Functions : sig ... end

No function is directly exported: they are dynamically registered.