~/jendhub

def ln_mr1

bendtorch@1.3.0.0 · main.bend:1710

import bendtorch@1.3.0.0/main.bend as Bendtorch
import Base

1710def ln_mr1(+d: Nat, +off: U32, +df: F32, +eps: F32, q: AS) -> ASM:
1711  match q:
1712    case AS{a, +s}:
1713      ln_mr2(df, eps, (s / df : F32), csq(Nat.sub(d, 1n), off, (s / df : F32), 0.0, Array.get(F32, a, off)))

Uses (10)

Used by (1)