`module F = Format`

backward analysis for computing set of maybe-live variables at each program point

`module VarSet : sig ... end`
`module Domain = VarSet`
`module TransferFunctions : functor (CFG : ProcCfg.S) -> sig ... end`
`module CFG : sig ... end`
`module Analyzer : sig ... end`
`val matcher_scope_guard : InferIR.QualifiedCppName.Match.quals_matcher`
`module CapturedByRefTransferFunctions : functor (CFG : ProcCfg.S) -> sig ... end`
`module CapturedByRefAnalyzer : sig ... end`
`val get_captured_by_ref_invariant_map : InferIR.Procdesc.t ‑> CapturedByRefAnalyzer.TransferFunctions.extras ProcData.t ‑> CapturedByRefAnalyzer.invariant_map`
`val checker : Callbacks.proc_callback_args ‑> Summary.t`