Pi-Squared-Inc/rust-demo-semantics

Preprocess the helpers trait

Closed this issue · 0 comments

We process the trait as any other Rust trait, without any special preprocessing on the UKM side. We just need to provide a way to load it in the configuration and make it accessible from other traits (e.g. from the contract). It should be called "Helpers".