sig
  exception Not_lval
  val compute_all : (unit -> unit) Stdlib.ref
  val compute_all_calldeps : (unit -> unit) Stdlib.ref
  val compute : (Cil_types.kernel_function -> unit) Stdlib.ref
  val is_computed : (Cil_types.kernel_function -> bool) Stdlib.ref
  val get : (Cil_types.kernel_function -> Function_Froms.t) Stdlib.ref
  val access :
    (Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t)
    Stdlib.ref
  val find_deps_no_transitivity :
    (Cil_types.stmt -> Cil_types.exp -> Locations.Zone.t) Stdlib.ref
  val find_deps_no_transitivity_state :
    (Db.Value.state -> Cil_types.exp -> Locations.Zone.t) Stdlib.ref
  val find_deps_term_no_transitivity_state :
    (Db.Value.state -> Cil_types.term -> Value_types.logic_dependencies)
    Stdlib.ref
  val self : State.t Stdlib.ref
  val pretty :
    (Stdlib.Format.formatter -> Cil_types.kernel_function -> unit) Stdlib.ref
  val display : (Stdlib.Format.formatter -> unit) Stdlib.ref
  module Record_From_Callbacks :
    sig
      type param =
          Kernel_function.t Stack.t *
          Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t *
          (Kernel_function.t * Function_Froms.Memory.t) list
          Cil_datatype.Stmt.Hashtbl.t
      type result = unit
      val extend : (param -> result) -> unit
      val extend_once : (param -> result) -> unit
      val apply : param -> result
      val is_empty : unit -> bool
      val clear : unit -> unit
      val length : unit -> int
    end
  module Callwise :
    sig
      val iter :
        ((Cil_types.kinstr -> Function_Froms.t -> unit) -> unit) Stdlib.ref
      val find : (Cil_types.kinstr -> Function_Froms.t) Stdlib.ref
    end
end