`module Trace : InferModules.Trace.S`
`module AccessTree : module type of sig ... end`
`val handle_unknown_call : InferIR.Typ.Procname.t ‑> InferIR.Typ.t ‑> InferIR.HilExp.t list ‑> InferIR.Tenv.t ‑> action list`

return a summary for handling an unknown call at the given site with the given return type and actuals

`val get_model : InferIR.Typ.Procname.t ‑> InferIR.Typ.t ‑> InferIR.HilExp.t list ‑> InferIR.Tenv.t ‑> AccessTree.t ‑> action list option`

returns a model that should be used for the given (procname, return type, actuals, summary) instead of using the summary for the procname

`val is_taintable_type : InferIR.Typ.t ‑> bool`

return true if the given typ can be tainted

`val to_summary_access_tree : AccessTree.t ‑> InferModules.QuandarySummary.AccessTree.t`
`val of_summary_access_tree : InferModules.QuandarySummary.AccessTree.t ‑> AccessTree.t`
`val name : string`