def F

bend-kit-collections@0.1.4.1 · nat_order.bend:54

import Base

54def F(p: Lin, v: Vs) -> Nat:
55  match p v:
56    case L{c0, c1, c2, c3, c4} VS{+v1, +v2, +v3, +v4}:
57      Nat.add(c0, Nat.add(Nat.mul(c1, v1), Nat.add(Nat.mul(c2, v2),
58        Nat.add(Nat.mul(c3, v3), Nat.mul(c4, v4)))))