Definitions
array
1
Doc
At:
array
append
wf
T:Type, i:
, j:{i...}, k:{j...}, a:[T]Array{i..j
}, b:[T]Array{j..k
}. a @ b
[T]Array{i..k
}
By:
UnivCD
Generated subgoal:
1
1.
T:
Type
2.
i:
3.
j:
{i...}
4.
k:
{j...}
5.
a:
[T]Array{i..j
}
6.
b:
[T]Array{j..k
}
a @ b
[T]Array{i..k
}