def gr_n

import bendtorch@1.3.0.0/main.bend as Bendtorch

import Base

2626def gr_n(r: GR) -> Nat:
2627  match r:
2628    case GR{d, v, pg, n}:
2629      n

Uses (2)