`module TransferFunctions : sig ... end`
`module InvariantMap = TransferFunctions.CFG.Node.IdMap`
`type invariant_map``= TransferFunctions.Domain.astate InferModules__AbstractInterpreter.state InvariantMap.t```
`val compute_post : ?⁠debug:bool ‑> TransferFunctions.extras ProcData.t ‑> initial:TransferFunctions.Domain.astate ‑> TransferFunctions.Domain.astate option`
`val exec_cfg : TransferFunctions.CFG.t ‑> TransferFunctions.extras ProcData.t ‑> initial:TransferFunctions.Domain.astate ‑> debug:bool ‑> invariant_map`
`val exec_pdesc : TransferFunctions.extras ProcData.t ‑> initial:TransferFunctions.Domain.astate ‑> invariant_map`
`val extract_post : InvariantMap.key ‑> 'a InferModules__AbstractInterpreter.state InvariantMap.t ‑> 'a option`
`val extract_pre : InvariantMap.key ‑> 'a InferModules__AbstractInterpreter.state InvariantMap.t ‑> 'a option`
`val extract_state : InvariantMap.key ‑> 'a InvariantMap.t ‑> 'a option`