`type t````=` `{`

`annot_map : InferModules.AnnotReachabilityDomain.astate option;`
`biabduction : InferModules.BiabductionSummary.t option;`
`buffer_overrun : InferModules.BufferOverrunDomain.Summary.t option;`
`crashcontext_frame : InferGenerated.Stacktree_t.stacktree option;`
`litho : InferModules.LithoDomain.astate option;`
`quandary : InferModules.QuandarySummary.t option;`
`racerd : InferModules.RacerDDomain.summary option;`
`resources : InferModules.ResourceLeakDomain.summary option;`
`siof : InferModules.SiofDomain.Summary.astate option;`
`typestate : unit InferModules.TypeState.t option;`
`uninit : InferModules.UninitDomain.summary option;`
`cost : InferModules.CostDomain.summary option;`
`starvation : InferModules.StarvationDomain.summary option;`

`}```

analysis results

`val pp : InferStdlib.Pp.env ‑> Format.formatter ‑> t ‑> unit`
`val empty : t`