~/jendhub

def second

stelliferous@0.0.2.0 · proofs/storage_shape.bend:13

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

13def second(-Left: Data,-Right: Data,evidence: Both<Left,Right>) -> Right:
14  Both{left,right} = evidence
15  right

Uses (1)

Used by (0)

No other definition uses this definition.