NatOrder.Lin: type of bend-kit-collections@0.1.4.1
Import: import bend-kit-collections@0.1.4.1/nat_order.bend as NatOrder
Lines 48-49 of bend-kit-collections@0.1.4.1/nat_order.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-collections@0.1.4.1/nat_order.bend&start_line=48&end_line=49

import Base

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

Uses (1):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Nat