path: root/tvix/eval/src/tests/tvix_tests/eval-okay-builtins-mul.nix

[
  (builtins.mul 4 9)
  (builtins.mul 0 7)
  (builtins.mul 7 0)
  (builtins.mul 7 2)
  (builtins.mul (builtins.mul 4 0.5) 21)
]