Function bit

bit(a0: Bit<0 | 1>, a1: Int4<0 | 1>, a2: Bool<0 | 1>): Bit<0 | 1>

bit(a0: Int4<0 | 1>, a1: Int4<0 | 1>): Bit<0 | 1>

bit(a0: Int8<0 | 1>, a1: Int4<0 | 1>): Bit<0 | 1>