`module F = Format`
`module Domain = InferModules.LithoDomain`
`module Payload : sig ... end`
`module LithoFramework : sig ... end`
`module GraphQLGetters : sig ... end`
`module RequiredProps : sig ... end`
`module TransferFunctions : functor (CFG : InferModules.ProcCfg.S) -> sig ... end`
`module Analyzer : sig ... end`
`val checker : InferModules.Callbacks.proc_callback_args ‑> InferModules.Summary.t`