Module KTCadeque.NatSource

Sourceval ltb : int -> int -> bool
Sourceval min : int -> int -> int