Skip to content

Extend type witnesses with parameterized meta information

It would be useful to be able to extend 'a Script_typed_ir.ty values with additional meta-information in order to pre-calculate information about different branches.

One option is to change the definition to:

('a, 'm) ty

This could be used to remove custom type-witness types such as has_lazy_storage

Edited by Mehdi Bouaziz
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information