module Translate_terms:sig
..end
exception No_simple_translation of Cil_types.term
val untyped_to_exp : Cil_types.typ option -> Cil_types.term -> Cil_types.exp
Typing_error
when the given term cannot be typed (something wrong
happened 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.