def NX

lawful-fields@0.1.1.0 · proof_cut.bend:637

import Base
import lawful-arrays@0.1.0.0/proof_tree.bend as P

637def NX(want: Bool, +len: U32, +t: P.Tree<U32>, +s: U32, +to: U32, +sep: U32) -> U32:
638  match want:
639    case True{}:
640      FV(len, t, s, to, sep)
641    case False{}:
642      to