Up – bastet » Bastet » Verify » Compare » Bounded

Module `Compare.Bounded`

Parameters

B : Interface.BOUNDED

Signature

module Ordering_Functions : sig ... end

val (<|=) : B.t -> B.t -> bool
val bounded : B.t -> bool