Modules

This module defines RecList.

Structs

Represents a bitset represented as zero. Only if a bitset equals to Bit0, the bitset means zero. See Value for details.

Represents a bitset represented as one. See Value for details.

Implementation of bitset. See Value

Traits

A trait which represents a bit.

A trait implemented if the bitset is positive (not zero).

Make left shift of the bitset and use give bit as the LSB.

Concat bitset S after the MSB of Self.

Replacing Bit1 in Self with S. S should be Positive.

Generate right shift of the bitset.

Generate left shift of the bitset.

The main trait represents a bitset.

Functions

Generate Value object using const generics.

Type Definitions

Generate Value type for small number N. FromNum<N> is defined where N is in 0..2 ** 7.