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

Module `KTSizedChain.Nat`Source

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

Sourceval pred : int -> int