def nval

bend-ml-autograd@0.1.1.0 · main.bend:29

import bend-ml-autograd@0.1.1.0/main.bend as BendMlAutograd

import Base

29# value of the expression at x
30def nval(e: NE, +x: Nat) -> Nat:
31  match e:
32    case NCst{n}:
33      n
34    case NX{}:
35      x
36    case NAdd{a, b}:
37      Nat.add(nval(a, x), nval(b, x))
38    case NMul{+a, +b}:
39      Nat.mul(nval(a, x), nval(b, x))

Uses (4)

Used by (3)