O_POOL via JamConfig.
3.5. Authorization Pool and Queue
def
Jar.O_POOL [j : Jar.JamConfig] : NatJar.O_POOL [j : Jar.JamConfig] : Nat
def
Jar.Q_QUEUE [j : Jar.JamConfig] : NatJar.Q_QUEUE [j : Jar.JamConfig] : Nat
Q_QUEUE via JamConfig.