ℕ_B ≡ ℕ_{2^64} : Balance values (64-bit unsigned). GP eq (19).
2.1. Resource Quantities
def
Jar.Balance : TypeJar.Balance : Type
def
Jar.Gas : TypeJar.Gas : Type
ℕ_G ≡ ℕ_{2^64} : Unsigned gas values (64-bit unsigned). GP eq (24).
def
Jar.SignedGas : TypeJar.SignedGas : Type
ℤ_G ≡ ℤ_{-2^63..2^63} : Signed gas values (64-bit signed). GP eq (24).
def
Jar.RegisterValue : TypeJar.RegisterValue : Type
ℕ_R ≡ ℕ_{2^64} : PVM register values (64-bit unsigned). GP eq (24).