law path_self_same

bendtorch-core@0.1.0.0 · src/storage/LAWS.bend:52

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

52law path_self_same:
53  for +d: Nat
54  for +path: Model.Path(d)
55  {Model.same(d, path, path) == True{} : Bool}