JAR: JAM Axiomatic Reference

3.4. Gas Allocations🔗

🔗def
Jar.G_A [j : Jar.JamConfig] : Nat
Jar.G_A [j : Jar.JamConfig] : Nat

G_A via JamConfig.

🔗def
Jar.G_I [j : Jar.JamConfig] : Nat
Jar.G_I [j : Jar.JamConfig] : Nat

G_I via JamConfig.

🔗def
Jar.G_R [j : Jar.JamConfig] : Nat
Jar.G_R [j : Jar.JamConfig] : Nat

G_R via JamConfig.

🔗def
Jar.G_T [j : Jar.JamConfig] : Nat
Jar.G_T [j : Jar.JamConfig] : Nat

G_T via JamConfig.