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

Module `KTFlatCadeque.Nat`Source

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

Sourceval ltb : int -> int -> bool

Sourceval min : int -> int -> int