`module F = Format`
`module L = InferBase.Logging`
`module VarSet : sig ... end`
`module DataDepSet = VarSet`
`module DataDepMap : sig ... end`
`module TransferFunctionsDataDeps : functor (CFG : ProcCfg.S) -> sig ... end`
`module ControlDepSet = VarSet`
`module TransferFunctionsControlDeps : functor (CFG : ProcCfg.S) -> sig ... end`
`module CFG = ProcCfg.Normal`
`module DataDepAnalyzer : sig ... end`
`module ControlDepAnalyzer : sig ... end`
`val report_deps : DataDepSet.astate DataDepMap.t ‑> DataDepMap.key InferStdlib.IStd.Sequence.t ‑> unit`
`val report_data_deps : DataDepSet.astate DataDepMap.t ‑> InferIR.Procdesc.Node.t ‑> unit`
`val report_control_deps : ControlDepSet.astate ‑> InferIR.Procdesc.Node.t ‑> unit`
`val gather_all_deps : ControlDepSet.t ‑> DataDepSet.t DataDepMap.t ‑> DataDepSet.t`
`val compute_all_deps : DataDepSet.astate DataDepMap.t InferModules__AbstractInterpreter.state DataDepAnalyzer.InvariantMap.t ‑> ControlDepSet.astate InferModules__AbstractInterpreter.state ControlDepAnalyzer.InvariantMap.t ‑> CFG.Node.t ‑> VarSet.astate`