The makeparam and makeglobal functions are used to make a variable to be a parameter, respectively global variable in the Maple procedure. If a list of variables is given, then all the variables in the list are made into parameters, respectively globals.

If a type t is specified the variable is given the specified type.  This can be used to declare the type of a variable.

The declare function is used to specify the type t for a variable x which is a parameter in the Maple procedure f.

$\mathrm{with}\left(\mathrm{codegen}\right)\:$

f := proc() local A; A := array(1..2); A[1] := x^2; A[2] := x^2; A end proc:

$g≔\mathrm{makeparam}\left(x\,f\right)$

$g≔\mathbf{proc}\left(x\right)\mathbf{local}A\;A≔\mathrm{array}\left(1..2\right)\;A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$

$\mathrm{declare}\left(x::\mathrm{numeric}\,g\right)$

$\mathbf{proc}\left(x::\mathrm{numeric}\right)\mathbf{local}A\;A≔\mathrm{array}\left(1..2\right)\;A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$

$\mathrm{makeparam}\left(x::\mathrm{numeric}\,f\right)$

$\mathbf{proc}\left(x::\mathrm{numeric}\right)\mathbf{local}A\;A≔\mathrm{array}\left(1..2\right)\;A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$

$\mathrm{makeglobal}\left(A\,f\right)$

$\mathbf{proc}\left(\right)\mathbf{global}A\;A≔\mathrm{array}\left(1..2\right)\;A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$

$g≔\mathrm{makeparam}\left(A\,f\right)$

$g≔\mathbf{proc}\left(A::\left(\mathrm{array}\left(1..2\right)\right)\right)A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$

$\mathrm{declare}\left(A::'\mathrm{array}'\left(1..2\,\mathrm{numeric}\right)\,g\right)$

$\mathbf{proc}\left(A::\left(\mathrm{array}\left(1..2\,\mathrm{numeric}\right)\right)\right)A\[1\]≔x\^2\;A\[2\]≔x\^2\;A\mathbf{end\; proc}$