Module E_ACSL.Translate_terms

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