B_S via JamConfig.
3.9. Balance Thresholds
def
Jar.B_S [j : Jar.JamConfig] : NatJar.B_S [j : Jar.JamConfig] : Nat
def
Jar.B_I [j : Jar.JamConfig] : NatJar.B_I [j : Jar.JamConfig] : Nat
B_I via JamConfig.
def
Jar.B_L [j : Jar.JamConfig] : NatJar.B_L [j : Jar.JamConfig] : Nat
B_L via JamConfig.
def
Jar.S_MIN : NatJar.S_MIN : Nat
S : Minimum public service index. GP: 𝖲 = 256.