Module BO.Bounds

module F = Stdlib.Format
module Bound : sig ... end
module BoundTrace : sig ... end
type ('c, 's, 't) valclass =
  1. | Constant of 'c
  2. | Symbolic of 's
  3. | ValTop of 't
module NonNegativeBound : sig ... end