def right

stelliferous@0.0.2.0 · proofs/storage_certificate.bend:19

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

19def right(-Element: Data,tree: Tree.Tree<Element>) -> Tree.Tree<Element>:
20  match tree:
21    case Tree.Leaf{value}: Tree.Leaf{value}
22    case Tree.Node{left,right}: right