Expand description
Signed, unbounded type-level integers represented in balanced ternary form. Int constants
are provided, from SN81 (signed, negative 81) to S0 (signed zero) to SP81 (signed,
positive 81). SN243 and SP243 are also provided.
Structs§
Traits§
- Int
- The
Intkind is for signed, type-level integers. They are represented through balanced ternary in order to avoid a potentially non-unique representation of zero. Balanced ternary is a signed digit representation. A signed digit representation is two things: - IntPair
- The
IntPairtrait andInt2struct represent 2-tuples ofInts. They are used internally for defining type-level logic.