Module `BO__BufferOverrunProofObligations`

module ItvPure = BO.Itv.ItvPure

module Condition : sig ... end

module ConditionTrace : sig ... end

module ConditionSet : sig ... end

val description : markup:bool -> Condition.t -> ConditionTrace.t -> string