snarkVM icon indicating copy to clipboard operation
snarkVM copied to clipboard

Allow external structs.

Open mikebenfield opened this issue 6 months ago • 0 comments

Specifically,

  1. Introduce a PlaintextType::ExternalStruct, and allow referring to such a type in code by a Locator.

  2. Allow casting to external struct types.

  3. Let two struct types be considered the same type as long as they are structurally the same.

mikebenfield avatar Jun 25 '25 23:06 mikebenfield