Up – bastet » Bastet » Verify » Bounded

Module `Verify.Bounded`

Parameters

B : Interface.BOUNDED

Signature

include sig ... end

module Ordering_Functions : sig ... end

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