
[;1m  a_function(Tuples, Type)[0m

  Creates a function.

  [;;4ma_function(F, T)[0m is equivalent to [;;4mfrom_term(F, T)[0m if the result
  is a function.
