def path_self_same

bendtorch-core@0.1.0.0 · src/storage/frame.bend:98

import Base
import bendtorch-core@0.1.0.0/src/storage/model.bend as Model

98def path_self_same(+d: Nat, +path: Model.Path(d)) ->
99  {Model.same(d, path, path) == True{} : Bool}:
100  match d:
101    case 0n:
102      {==}
103    case 1n+p:
104      Model.Step{bit, rest} = path
105      match bit:
106        case False{}:
107          path_self_same(p, rest)
108        case True{}:
109          path_self_same(p, rest)