sig
  module Options : sig type category end
  module Error :
    sig
      exception Typing_error of E_ACSL.Options.category option * string
      exception Not_yet of E_ACSL.Options.category option * string
    end
  module Translate_terms :
    sig
      exception No_simple_translation of Cil_types.term
      val untyped_to_exp :
        Cil_types.typ option -> Cil_types.term -> Cil_types.exp
    end
  module Translate_predicates :
    sig
      exception No_simple_translation of Cil_types.predicate
      val untyped_to_exp : Cil_types.predicate -> Cil_types.exp
    end
  module Functions :
    sig module RTL : sig val is_generated_name : string -> bool end end
end