Module E_ACSL.Translate_predicates

module Translate_predicates: sig .. end

exception No_simple_translation of Cil_types.predicate
val untyped_to_exp : Cil_types.predicate -> Cil_types.exp