mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-25 08:54:31 +03:00
10 lines
108 B
Plaintext
10 lines
108 B
Plaintext
x = [1,2,3,4] : [_][8]
|
|
|
|
y = (splitAt x) : ([2][8],[2][8])
|
|
|
|
a = y.0 @ 0
|
|
b = y.0 @ 1
|
|
c = y.1 @ 0
|
|
d = y.1 @ 1
|
|
|