typedincarity5.spec 277 Bytes
Newer Older
1 2 3 4 5 6 7 8 9 10 11
Workflow

forallmay i:A True -> R += (i)
forallmay i:A,j:B (R(i)) -> S += (i,j)
forallmay i:A,j:B,k:C (S(i,j)) -> T += (i,j,k)
forallmay i:A,j:B,k:C,l:D (T(i,j,k)) -> U += (i,j,k,l)
forallmay i:A,j:B,k:C,l:D,m:E (U(i,j,k,l)) -> V += (i,j,k,l,m)

Target

V(u:A,v:B,w:C,x:D,y:E)