QueueLaws.Both: type of bend-kit-scheduler@0.4.1.0
Import: import bend-kit-scheduler@0.4.1.0/queue_laws.bend as QueueLaws
Lines 7-10 of bend-kit-scheduler@0.4.1.0/queue_laws.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-scheduler@0.4.1.0/queue_laws.bend&start_line=7&end_line=10

import Base

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

Uses (0):