sig
  type t = From_compute.Make.t'
  val bottom : From_compute.Make.t'
  val callwise_states_with_formals :
    (Kernel_function.t * Function_Froms.Memory.t) list
    Cil_datatype.Stmt.Hashtbl.t
  type substit = Froms of Function_Froms.Deps.t
  val cached_substitute :
    Function_Froms.Memory.t ->
    Locations.Zone.t ->
    Function_Froms.Deps.from_deps -> Function_Froms.Deps.from_deps
  val display_one_from : Format.formatter -> From_compute.Make.t' -> unit
  val pretty : Format.formatter -> From_compute.Make.Computer.t -> unit
  val transfer_conditional_exp :
    From_compute.ZoneStmtMap.key ->
    Cil_types.exp -> From_compute.Make.t' -> From_compute.Make.t'
  val join_and_is_included :
    From_compute.Make.t' ->
    From_compute.Make.t' -> From_compute.Make.t' * bool
  val join :
    From_compute.Make.t' -> From_compute.Make.t' -> From_compute.Make.t'
  val resolv_func_vinfo :
    ?deps:Locations.Zone.t ->
    Cil_types.stmt ->
    Cil_types.exp -> Locations.Zone.t * Kernel_function.Hptset.t
  val transfer_instr :
    Cil_datatype.Stmt.Hashtbl.key ->
    Cil_types.instr ->
    From_compute.Make.Computer.t -> From_compute.Make.Computer.t
  val transfer_guard :
    Cil_types.stmt ->
    Cil_types.exp ->
    From_compute.Make.t' -> From_compute.Make.t' * From_compute.Make.t'
  val eliminate_additional :
    Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
  val transfer_stmt :
    Cil_datatype.Stmt.Hashtbl.key -> t -> (Cil_types.stmt * t) list
  val transfer_stmt :
    Cil_datatype.Stmt.Hashtbl.key -> t -> (Cil_types.stmt * t) list
  val doEdge :
    Cil_types.stmt ->
    Cil_types.stmt -> From_compute.Make.t' -> From_compute.Make.t'
  val transfer_stmt :
    Cil_datatype.Stmt.Hashtbl.key ->
    From_compute.Make.Computer.t ->
    (Cil_types.stmt * From_compute.Make.Computer.t) list
end