def pcf

import bendtorch-gpu@1.3.0.0/main.bend as BendtorchGpu

import Base

967def pcf(+b: Nat, +t: Nat, +kv: Nat, +g: Nat) -> Nat:
968  Nat.mul(Nat.mul(Nat.mul(b, Nat.mul(kv, g)), t), t)

Uses (2)