Frama-C API - Environment
val from_file : Cil_types.file -> tval find_global : t -> string -> Cil_types.varinfoval find_global_init : t -> string -> Cil_types.init_or_str optionval find_function : t -> string -> Cil_types.varinfoval find_typedef : t -> string -> Cil_types.typeinfoval find_struct : t -> string -> Cil_types.compinfoval find_union : t -> string -> Cil_types.compinfoval find_enum : t -> string -> Cil_types.enuminfoval find_type : t -> Logic_typing.type_namespace -> string -> Cil_types.typval mem_global : t -> string -> boolval mem_function : t -> string -> bool