module Translate:sig..end
exception No_simple_translation of Cil_types.term
val term_to_exp : Cil_types.typ option -> Cil_types.term -> Cil_types.expNew_typing_error when the given term cannot be typed (something wrong
happends with this term)Not_yet when the given term contains an unsupported construct.No_simple_translation when the given term cannot be translated into
a single expression.