def seek_depth

bendtorch-core@0.1.0.0 · src/storage/api.bend:595

import Base

595def seek_depth(+k: Nat, +left: {Nat.add(0n, k) == 20n : Nat}) -> {Nat.is_le(k, 20n) == True{} : Bool}:
596  %Equal.sym(Nat, k, 20n, left) : {Nat.is_le(_, 20n) == True{} : Bool}
597  {==}