The AddType command defines the translation for the type typename in the target language with which Printer is associated. This is commonly used in the printing of Coercion and Declaration intermediate code structures.

If translation is a table, its indices must be the allowed precisions for typename in this target language. The table entry corresponding to the current precision (set by the precision option) for the type typename is used as the translation for typename.

The GetType command returns the translation for type typename in the target language.

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

$\mathrm{LanguageDefinition}\left[\mathrm{Define}\right]\left(''TypeExample''\,\mathrm{extend}=''C''\,\mathrm{AddType}\left('\mathrm{integer}'=''custom\_int''\right)\,\mathrm{AddType}\left('\mathrm{numeric}'=\mathrm{table}\left(\left['\mathrm{single}'=''custom\_float\_single''\,'\mathrm{double}'=''custom\_float\_double''\right]\right)\right)\,\mathrm{AddFunction}\left(''f''\,\left[\mathrm{integer}\right]::\mathrm{integer}\,''f\_equiv''\right)\right)\:$

p1 := proc(x,y) local a; a := 2*f(x); 3.0*a*y;end proc:

$\mathrm{Translate}\left(\mathrm{p1}\,\mathrm{language}=''TypeExample''\right)$

custom_float_double p1 (custom_int x, custom_float_double y)
{
  custom_int a;
  a = 2 * f_equiv(x);
  return(0.30e1 * (custom_float_double) a * y);
}

$\mathrm{Translate}\left(\mathrm{p1}\,\mathrm{language}=''TypeExample''\,\mathrm{precision}=\mathrm{single}\right)$

custom_float_single p1 (custom_int x, custom_float_single y)
{
  custom_int a;
  a = 2 * f_equiv(x);
  return(0.30e1 * (custom_float_single) a * y);
}