module E_ACSL:sig
..end
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.