sig
  module Error :
    sig exception Typing_error of string exception Not_yet of string end
  module Translate :
    sig
      exception No_simple_translation of Cil_types.term
      val term_to_exp :
        Cil_types.typ option -> Cil_types.term -> Cil_types.exp
    end
end