[previous][up][top][index]
search for:

ConvertRepeat -- convert a sequence of items from engine format

ConvertRepeat T -- a format item for converting data received from the engine, which specifies that format item T be applied to each element in the array, returning the results as a sequence.

See convert.

Code:

     -- code for ConvertRepeat:
     -- ../m2/convert.m2:7
     ConvertRepeat = T -> singleton T

[previous][up][top][index]
search for: