[top][index]
search for:

<< Thing -- print to a file

<< x -- prints the expression x on the standard output file stdio.

i1 : << "abcdefghij" << endl
abcdefghij

o1 = stdio

o1 : File

See also:

  • <<
  • Synopsis of use:

  • Operator: <<
  • Class of argument 1: Thing
  • Code:

         -- ../m2/setup.m2:5
         << Thing := x -> stdio << x

    [top][index]
    search for: