genUStore | Lorentz.UStore.Traversal |
genUStoreFieldExt | Hedgehog.Gen.Lorentz.UStore |
genUStoreSubMap | Hedgehog.Gen.Lorentz.UStore |
GetBalance | |
1 (Data Constructor) | Lorentz.Contracts.UserUpgradeable.V1 |
2 (Data Constructor) | Lorentz.Contracts.UserUpgradeable.V2 |
GetCounter | Lorentz.Contracts.UpgradeableCounterSdu |
GetNothing | Lorentz.Contracts.UpgradeableCounterSdu |
getTotalSupply | Lorentz.Contracts.UpgradeableUnsafeLedger.V1 |
GetUStore | Lorentz.UStore.Types |
GetUStoreField | Lorentz.UStore.Types, Lorentz.UStore |
GetUStoreFieldMarker | Lorentz.UStore.Types, Lorentz.UStore |
GetUStoreKey | Lorentz.UStore.Types, Lorentz.UStore |
GetUStoreValue | Lorentz.UStore.Types, Lorentz.UStore |
GetVersion | Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter |
getVersionDoc | Lorentz.Contracts.Upgradeable.Common.Doc, Lorentz.Contracts.Upgradeable.Common |