Module Mem_dependencies

module Mem_dependencies: sig .. end

module Functionwise_Memdeps: Kernel_function.Make_Table(Locations.Zone)(sig
val name : string
val size : int
val dependencies : State.t list
end)
class do_memdeps : Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t -> (Functionwise_Memdeps.key * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t ->
object .. end
val compute_memdeps : Kernel_function.t Stack.t *
Function_Froms.Memory.t Cil_datatype.Stmt.Hashtbl.t *
(Functionwise_Memdeps.key * Function_Froms.Memory.t) list
Cil_datatype.Stmt.Hashtbl.t -> unit