Module Bounded.V
module Ordering_Functions : sig ... endval (<|=) : Int.Bounded.t -> Int.Bounded.t -> boolval bounded : Int.Bounded.t -> bool
Bounded.Vmodule Ordering_Functions : sig ... endval (<|=) : Int.Bounded.t -> Int.Bounded.t -> boolval bounded : Int.Bounded.t -> bool