`module F = Format`
`module L = InferBase.Logging`
`module ItvPure = InferModules.Itv.ItvPure`
`module MF = InferBase.MarkupFormatter`
`module ValTraceSet = InferModules.BufferOverrunTrace.Set`
`type checked_condition````=` `{`

`report_issue_type : InferBase.IssueType.t option;`
`propagate : bool;`

`}```
`module AllocSizeCondition : sig ... end`
`module ArrayAccessCondition : sig ... end`
`module Condition : sig ... end`
`module ConditionTrace : sig ... end`
`module ConditionWithTrace : sig ... end`
`module ConditionSet : sig ... end`
`val description : Condition.t ‑> ConditionTrace.t ‑> string`