law Chan
import Base123# A channel is Data: the computations it links each hold a copy.
124law Chan:
125 for -A: Type
126 Data
Uses (0)
This definition uses no other definition.
import Base123# A channel is Data: the computations it links each hold a copy.
124law Chan:
125 for -A: Type
126 Data
This definition uses no other definition.