snarkVM
snarkVM copied to clipboard
Allow external structs.
Specifically,
-
Introduce a PlaintextType::ExternalStruct, and allow referring to such a type in code by a Locator.
-
Allow casting to external struct types.
-
Let two struct types be considered the same type as long as they are structurally the same.