module Translate: sig
.. end
exception No_simple_term_translation of Cil_types.term
val untyped_term_to_exp : Cil_types.typ option -> Cil_types.term -> Cil_types.exp
- Raises
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_term_translation
when the given term cannot be translated
into a single expression.
exception No_simple_predicate_translation of Cil_types.predicate
val untyped_predicate_to_exp : Cil_types.predicate -> Cil_types.exp
- Raises
Typing_error
when the given predicate cannot be typed
(something wrong happened with this predicate).
Not_yet
when the given predicate contains an unsupported construct.
No_simple_predicate_translation
when the given predicate cannot be
translated into a single expression.