def first

import stelliferous@0.0.2.0/proofs/traversal_witness.bend as TraversalWitness

import Base

84def first(~Left: Type,~Right: Type,pair: Left & Right) -> Left:
85  (left,right) = pair
86  left

Uses (2)