Definitions
array
1
Doc
At:
p
array
wf
T:Type{i}, i:
, j:{i...}. [T]Array{i..j
}
Type{[i']}
By:
UnivCD
Generated subgoal:
1
1.
T:
Type{i}
2.
i:
3.
j:
{i...}
[T]Array{i..j
}
Type{[i']}