Removed two unused type declarations.

EasyCrypt / easycrypt

EasyCrypt: Computer-Aided Cryptographic Proofs

MIT License

320 stars 49 forks source link

Closed alleystoughton closed 12 months ago

alleystoughton commented 12 months ago

These are unused after the EcAst changes. Are they planned to be used?