Module `BO.BufferOverrunProofObligations`

module ItvPure = Itv.ItvPure

module Condition : sig ... end

module ConditionTrace : sig ... end

module ConditionSet : sig ... end

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