type Both

bend-kit-scheduler@0.4.1.0 · queue_laws.bend:7

import Base

7# Ordinary & pairs are affine even when their fields are Data. Invariant
8# conjunctions contain only evidence, so a Data constructor permits reuse.
9type Both<-A: Data, -B: Data> is Data:
10  Both{left: A, right: B}