mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-15 18:52:13 +03:00
5 lines
175 B
Plaintext
5 lines
175 B
Plaintext
Loading module Cryptol
|
|
(5, True).0 : {a} (fin a, a >= 3) => [a]
|
|
((5, True), False).0 : {a} (fin a, a >= 3) => ([a], Bit)
|
|
(((5, True), False).0).0 : {a} (fin a, a >= 3) => [a]
|