mirror of
https://github.com/GaloisInc/cryptol.git
synced 2024-12-15 18:52:13 +03:00
60523d5986
The main user visible effect of this might be that sometime things on the Cryptol command line are instantiated in a slightly different way: we get `inf` sometimes when we got a finite example before. We could work around this if it is an issue, but I am not sure which behavior is more reasonable.
5 lines
175 B
Plaintext
5 lines
175 B
Plaintext
Loading module Cryptol
|
|
(5, True).0 : {a} (a >= 3, fin a) => [a]
|
|
((5, True), False).0 : {a} (a >= 3, fin a) => ([a], Bit)
|
|
(((5, True), False).0).0 : {a} (a >= 3, fin a) => [a]
|