def Id

bendtorch@1.3.0.0 · main.bend:2077

import Base

2077def Id(~X: Type) -> Layer<Unit, X, X, Unit>:
2078  Layer{p => x => Fwd{p, x, Unit{}}, p => s => dy => g => Bwd{p, dy, g}, op => p => g => st => no_step(Unit, op, p, g, st), u => Unit{}, p => PL{p, Nil{}}, p => xs => off => PA{p, xs, off}, p => xs => off => PA{p, xs, off}, u => 0}