def nth4

lawful-words@0.1.0.0 · defs.bend:35

import Base

35# The j-th of four values (j = 0 to 3; b3 from 3 up).
36def nth4(j: Nat, b0: U32, b1: U32, b2: U32, b3: U32) -> U32:
37  match j:
38    case 0n:
39      b0
40    case 1n+p:
41      match p:
42        case 0n:
43          b1
44        case 1n+q:
45          match q:
46            case 0n:
47              b2
48            case 1n+t:
49              b3