sig
  val get_variable :
    string -> (unit -> Cil_types.varinfo) -> Cil_types.varinfo
  val get_logic_function :
    string -> (unit -> Cil_types.logic_info) -> Cil_types.logic_info
  val get_logic_function_in_axiomatic :
    string ->
    (unit ->
     (string * Cil_types.global_annotation list) * Cil_types.logic_info list) ->
    Cil_types.logic_info
  val clear : unit -> unit
  val globals : Cil_types.location -> Cil_types.global list
end