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