type Lin

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

import Base

48type Lin is Data:
49  L{c0: Nat, c1: Nat, c2: Nat, c3: Nat, c4: Nat}