destructed_bit Type

Namespace: HOL

Assembly: nholz.dll

Parent Module: NatEval

Base Type: obj

All Interfaces: IEquatable<destructed_bit> , IStructuralEquatable , IComparable<destructed_bit> , IComparable , IStructuralComparable

Union cases

Union case	Description
Bit0 term Full Usage: Bit0 term Parameters: Item : term	Item : term
Bit1 term Full Usage: Bit1 term Parameters: Item : term	Item : term
One Full Usage: One
Zero Full Usage: Zero