package smtml

make name arg_tys ret_ty constructs a function declaration with the given name, argument types arg_tys, and return type ret_ty.

apply f args applies the function declaration f to the arguments args.