`val get_required_props : InferIR.Typ.Name.t ‑> InferIR.Tenv.t ‑> string InferStdlib.IStd.List.t`
`val report_missing_required_prop : InferModules.Summary.t ‑> string ‑> InferIR.Typ.Name.t ‑> InferBase.Location.t ‑> unit`
`val find_client_component_type : InferIR.Typ.Procname.t InferStdlib.IStd.List.t ‑> InferIR__Typ.Name.t option`
`val should_report : InferIR.Procdesc.t ‑> InferIR.Tenv.t ‑> bool`
`val has_prop : InferStdlib.IStd.String.Set.t ‑> InferStdlib.IStd.String.Set.Elt.t ‑> bool`
`val report : Domain.astate ‑> InferIR.Tenv.t ‑> InferModules.Summary.t ‑> unit`