sig   exception Not_lval   val compute_all : (unit -> unit) Pervasives.ref   val compute_all_calldeps : (unit -> unit) Pervasives.ref   val compute : (Cil_types.kernel_function -> unit) Pervasives.ref   val is_computed : (Cil_types.kernel_function -> bool) Pervasives.ref   val get : (Cil_types.kernel_function -> Function_Froms.t) Pervasives.ref   val access :     (Locations.Zone.t -> Function_Froms.Memory.t -> Locations.Zone.t)     Pervasives.ref   val find_deps_no_transitivity :     (Cil_types.stmt -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref   val find_deps_no_transitivity_state :     (Db.Value.state -> Cil_types.exp -> Locations.Zone.t) Pervasives.ref   val find_deps_term_no_transitivity_state :     (Db.Value.state -> Cil_types.term -> Value_types.logic_dependencies)     Pervasives.ref   val self : State.t Pervasives.ref   val pretty :     (Format.formatter -> Cil_types.kernel_function -> unit) Pervasives.ref   val display : (Format.formatter -> unit) Pervasives.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)         Pervasives.ref       val find : (Cil_types.kinstr -> Function_Froms.t) Pervasives.ref     end end