Bounded.V
module Ordering_Functions : sig ... end
val (<|=) : B.t -> B.t -> bool
val bounded : B.t -> bool