Up – bastet » Bastet__Verify » Compare » Bounded

Module `Compare.Bounded`

Parameters

B : Bastet.Interface.BOUNDED

Signature

module Ordering_Functions : sig ... end

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