JAR: Join-Accumulate Refine

4.3. Work Packages🔗

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

I_MAX_ITEMS via JarConfig.

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

J_MAX_DEPS via JarConfig.

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

T_MAX_EXTRINSICS via JarConfig.

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

U_TIMEOUT via JarConfig.