MarkB
generic
Sections
NuprlLIB
Doc
Def
guarded_permutation(T;P) == (
L1,L2.
i:
(||L1||-1). P(L1,i) & L2 = swap(L1;i;i+1)
T List)^*
is mentioned
In prior sections:
mb
list
2
MarkB
generic
Sections
NuprlLIB
Doc
L1,L2. 
i:
(||L1||-1). P(L1,i) & L2 = swap(L1;i;i+1) 
T List)^*