Line.Width: type of ezmcp@0.1.0.0
Import: import ezmcp@0.1.0.0/src/line.bend as Line
Lines 98-104 of ezmcp@0.1.0.0/src/line.bend: https://jend.leeeet.dev/read.txt?path=ezmcp@0.1.0.0/src/line.bend&start_line=98&end_line=104

import Base

# how many bytes a lead byte starts
type Width is Data:
  W0{}
  W1{}
  W2{}
  W3{}
  W4{}

Uses (0):