def add4096

bendtorch-core@0.1.0.0 · src/tensor/word_conversion.bend:231

import Base

231def add4096(-tail: Nat) -> {Nat.add(4096n, tail) == 4096n+tail : Nat}:
232  {==}