WhoCites Definitions graph 1 2 Sections Graphs Doc

Who Cites array-const?
array-constDef array[n]:=v == < n,i.v >

Syntax:array[n]:=v has structure: array-const(n; v)

About:
pairlambda!abstraction

WhoCites Definitions graph 1 2 Sections Graphs Doc