Up – Package index » ktdeque » Library ktdeque.extracted » KTCadeque » Nat

Module `KTCadeque.Nat`Source

ktdeque
- Library ktdeque
  - Ktdeque
- Library ktdeque.extracted
- Sources

Sourceval ltb : int -> int -> bool

Sourceval min : int -> int -> int