package containers

You can search for identifiers within the package.

in-package search v0.2.0

Module type `CCHeap.PARTIAL_ORD`Source

Sourcetype t

Sourceval leq : t -> t -> bool

leq x y shall return true iff x is lower or equal to y.