Bendtorch.erf_i0: def of bendtorch@1.3.0.0
Import: import bendtorch@1.3.0.0/main.bend as Bendtorch
Lines 1167-1172 of bendtorch@1.3.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=bendtorch@1.3.0.0/main.bend&start_line=1167&end_line=1172

import Base

# the pieces are chosen from the top down, so that only one polynomial is computed (each test is a match on a Bool
# parameter); b is "a is at least the piece's lower end"
def erf_i0(b: Bool, +x: F32, +a: F32) -> F32:
  match b:
    case True{}: erf_sign(x, erf_p0((a - 1.0 : F32)))
    case False{}: erf_small(x)

Uses (6):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=F32.sub
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=erf_p0
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=erf_sign
  https://jend.leeeet.dev/definition.txt?path=bendtorch@1.3.0.0/main.bend&name=erf_small