~/jendhub

def first

stelliferous@0.0.2.0 · proofs/storage_certificate.bend:9

import stelliferous@0.0.2.0/proofs/storage_certificate.bend as StorageCertificate
import Base
import stelliferous@0.0.2.0/proofs/storage_tree_model.bend as Tree

9def first(-Element: Data,tree: Tree.Tree<Element>) -> Element:
10  match tree:
11    case Tree.Leaf{value}: value
12    case Tree.Node{left,right}: first(Element,left)

Uses (1)

Used by (2)