def last_nat

unified-nsga-iii@0.2.2.0 · rng.bend:36

import Base

36def last_nat(s: State) -> Nat:
37  match s:
38    case MkState{s0, u, z, k}:
39      k