JAR: JAM Axiomatic Reference

3.3. Work Packages🔗

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

I_MAX_ITEMS via JamConfig.

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

J_MAX_DEPS via JamConfig.

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

T_MAX_EXTRINSICS via JamConfig.

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

U_TIMEOUT via JamConfig.