SIGNATURE ArrayConv[data]

--

-- Parameter
SORT data

IMPORT Array[data] ONLY array
       Seq[data]   ONLY seq
       String      ONLY string

FUN asSeq: array -> seq    -- asSeq([e0, e1, ..., en]) == <e0, e1, ..., en>
FUN asArray: seq -> array  -- asArray(<e0, e1, ..., en>) == [e0, e1, ..., en]

FUN ` : (data -> denotation) -> array -> denotation
FUN ` : (data -> string)     -> array -> string

-- `(f)([e0, e1, ..., en]) == "[" f(e0) ":" f(e1) ":" ... ":" f(en) "]"