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