`type t``= ConditionWithTrace.t list```
`val empty : 'a list`
`val try_merge : existing:ConditionWithTrace.t ‑> new_:ConditionWithTrace.t ‑> [> `DoNotAddAndStop | `KeepExistingAndContinue | `RemoveExistingAndContinue ]`
`val join_one : ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val join : ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val add_opt : InferIR.Typ.Procname.t ‑> InferBase.Location.t ‑> ValTraceSet.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t ‑> Condition.t option ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val add_array_access : InferIR.Typ.Procname.t ‑> InferBase.Location.t ‑> idx:ItvPure.t ‑> size:ItvPure.t ‑> ValTraceSet.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val add_alloc_size : InferIR.Typ.Procname.t ‑> InferBase.Location.t ‑> length:ItvPure.t ‑> ValTraceSet.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val subst : ConditionWithTrace.t InferStdlib.IStd.List.t ‑> (Itv.Bound.t AbstractDomain.Types.bottom_lifted InferModules.Itv.SymbolMap.t * ValTraceSet.astate InferModules.Itv.SymbolMap.t) ‑> InferIR.Typ.Procname.t ‑> InferIR.Typ.Procname.t ‑> InferBase.Location.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val check_all : report:(Condition.t ‑> ConditionTrace.t ‑> InferBase.IssueType.t ‑> unit) ‑> ConditionWithTrace.t InferStdlib.IStd.List.t ‑> ConditionWithTrace.t InferStdlib.IStd.List.t`
`val pp_summary : F.formatter ‑> t ‑> unit`
`val pp : Format.formatter ‑> t ‑> unit`