module Translate_predicates:sig
..end
exception No_simple_translation of Cil_types.predicate
val untyped_to_exp : Cil_types.predicate -> Cil_types.exp
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_translation
when the given predicate cannot be
translated into a single expression.