class
	BIT_REF

General
	cluster: base
	description: "Bit sequences of length `count', with binary operations"

Ancestors
	ANY

Queries
	conforms_to (other: ANY): BOOLEAN
	count: INTEGER_32
	generator: STRING_8
	infix "#" (s: INTEGER_32): [like Current] BIT_REF
	infix "@" (i: INTEGER_32): BOOLEAN
	infix "^" (s: INTEGER_32): [like Current] BIT_REF
	infix "and" (other: BIT_REF): [like Current] BIT_REF
	infix "implies" (other: BIT_REF): [like Current] BIT_REF
	infix "or" (other: BIT_REF): [like Current] BIT_REF
	infix "xor" (other: BIT_REF): [like Current] BIT_REF
	infix "|" (other: BIT_REF): [like Current] BIT_REF
	item alias "[]" (i: INTEGER_32): BOOLEAN
	out: STRING_8
	prefix "not": [like Current] BIT_REF
	to_reference: BIT_REF

Commands
	put (value: BOOLEAN; i: INTEGER_32)

Constraints
	valid count