morley-upgradeable-0.3: Upgradeability infrastructure based on Morley. (Index - P)

morley-upgradeable-0.3: Upgradeability infrastructure based on Morley.

A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
R
S
T
U
V
$
/
<
|
All

Index - P

packSubMapUKey	Lorentz.UStore.Instr
Parameter
1 (Type/Class)	Lorentz.Contracts.UserUpgradeable.V1
2 (Type/Class)	Lorentz.Contracts.UserUpgradeable.V2
3 (Type/Class)	Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common, Lorentz.Contracts.UpgradeableUnsafeLedger, Lorentz.Contracts.UpgradeableCounterSdu, Lorentz.Contracts.UpgradeableCounter
pbsContainedInRun	Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
pbsContainedInRunPerm	Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
Permanent	Lorentz.Contracts.UpgradeableCounterSdu
PermanentEntrypointsKind	Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
PermanentImpl
1 (Type/Class)	Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
2 (Data Constructor)	Lorentz.Contracts.Upgradeable.Common.Base, Lorentz.Contracts.Upgradeable.Common
PermConstraint	Lorentz.Contracts.Upgradeable.Common.Contract, Lorentz.Contracts.Upgradeable.Common
permImpl	Lorentz.Contracts.UpgradeableCounterSdu.V1
PickMarkedFields	Lorentz.UStore.Types, Lorentz.UStore
previousVersion	Lorentz.Contracts.UserUpgradeable.V2