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

Module `KTErasedChain.Nat`Source

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

Sourceval pred : int -> int