Anoma.RM.Transparent.ProvingSystem.RLPS.Instance (Anoma v0.32.0)
I am the instance module for the resource logic proving system of the TRM.
My main purpose is to define a proper structure to represent the kind of arguments to be fed into a delta unit computation and the appropriate API to transform to and from Nockma nouns.
Public API
I have the following public functionality
from_noun/1
to_noun/1
Summary
Types
Functions
Link to this function