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