sig
  type t
  val from_file : Cil_types.file -> Environment.t
  val find_global : Environment.t -> string -> Cil_types.varinfo
  val find_function : Environment.t -> string -> Cil_types.varinfo
  val find_typedef : Environment.t -> string -> Cil_types.typeinfo
  val find_struct : Environment.t -> string -> Cil_types.compinfo
  val find_union : Environment.t -> string -> Cil_types.compinfo
  val find_enum : Environment.t -> string -> Cil_types.enuminfo
  val find_type :
    Environment.t -> Logic_typing.type_namespace -> string -> Cil_types.typ
end