~/jendhub

def first

stelliferous@0.0.2.0 · proofs/storage_shape.bend:9

import stelliferous@0.0.2.0/proofs/storage_shape.bend as StorageShape
import Base

9def first(-Left: Data,-Right: Data,evidence: Both<Left,Right>) -> Left:
10  Both{left,right} = evidence
11  left

Uses (1)

Used by (0)

No other definition uses this definition.