def Path

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

import Base

11def Path(d: Nat) -> Data:
12  match d:
13    case 0n:
14      Unit
15    case 1n+p:
16      Step<p>

Uses (3)