WhoCites Definitions StandardLib Sections NuprlLIB Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
Who Cites array el?
array_elDef a[i] == 2of(2of(a))(i)
Thm* T:Type, i:j:{i...}, a:[T]Array{i..j}, k:{i..j}. a[k T
Thm* T:Type, a:[T]Array , i:{a.l..a.u}. a[i T
pi2Def 2of(t) == t.2
Thm* A:Type, B:(AType), p:(a:AB(a)). 2of(p B(1of(p))

Syntax:a[i] has structure: array_el(ai)

About:
spreadproductintapplyfunctionuniversememberall!abstraction
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html

WhoCites Definitions StandardLib Sections NuprlLIB Doc