Defines an elixir function which seamlessly converts all arguments into Zee3.Smt2.t/0 types.

This function is mostly useful if you want to combine custom functions rather than building the return value of the function manually with the Zee3.Smt2 functions.

If you are not using other functions and are instead building the result out of Zee3.Smt2 values, you won't need this function because the Zee3.Smt2.call/2 function will escape the arguments correctly.

Example

defzee f(x, y) do
  x*x*y + (1 - x)*y*y
end