Nat: type of Base
Import: import Base
Lines 28-30 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=28&end_line=30

import Base

type Nat is Data:
  Zero{}
  Succ{pred: Nat}

Uses (0):