def lsuc

bend-kit-collections@0.1.4.1 · nat_order.bend:72

import Base

72def lsuc(p: Lin) -> Lin:
73  match p:
74    case L{a0, a1, a2, a3, a4}:
75      L{1n+a0, a1, a2, a3, a4}