def pr_n

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2405def pr_n(r: PR) -> Nat:
2406  match r:
2407    case PR{q, k, p, n}:
2408      n

Uses (2)