def tp_div

bendtorch@1.3.0.0 · tensor.bend:413

import Base

413def tp_div(-s: List<&2, Nat>, +u: List<&2, Nat>, +c: F32, r: TP<s, u>) -> TP<s, u>:
414  match r:
415    case TP{x, y}:
416      TP{x, ew_div(u, c, y)}