module C_logic_env: sig
.. end
val anonCompFieldName : string
val conditionalConversion : Cil_types.typ -> Cil_types.typ -> Cil_types.typ
val is_loop : unit -> bool
val find_macro : 'a -> 'b
val find_var : 'a -> 'b
val find_enum_tag : 'a -> 'b
val find_comp_type : kind:'a -> 'b -> 'c
val find_comp_field : Cil_types.compinfo -> string -> Cil_types.offset
val find_type : 'a -> 'b
val find_label : 'a -> 'b
include Logic_env
val add_logic_function : Cil_types.logic_info -> unit
val integral_cast : Cil_types.typ -> Cil_types.term -> 'a