def left

stelliferous@0.0.2.0 · proofs/storage_certificate.bend:14

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

14def left(-Element: Data,tree: Tree.Tree<Element>) -> Tree.Tree<Element>:
15  match tree:
16    case Tree.Leaf{value}: Tree.Leaf{value}
17    case Tree.Node{left,right}: left