search

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs
MIT License
321 stars 49 forks source link

Buggy printing of operators' body (arguments not printing correctly) #442

Closed strub closed 1 year ago

strub commented 1 year ago

The following code:

require import AllCore.

op foo (x : int) = x + 2.

print foo.

leads to

op foo (_ : int) : int -> int = fun (x0 : int) => x0 + 2.