type ERF

bendtorch-gpu@1.3.0.0 · main.bend:311

import Base

311type ERF is Data:
312  ERF{n: U32, d: Nat, d32: U32, df: F32, eps: F32}