Chan: law of Base
Import: import Base
Lines 123-126 of Base/base.bend: https://jend.leeeet.dev/read.txt?path=Base/base.bend&start_line=123&end_line=126

import Base

# A channel is Data: the computations it links each hold a copy.
law Chan:
  for -A: Type
  Data

Uses (0):