    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