typedincarity3.spec 151 Bytes
Newer Older
1 2 3 4 5 6 7 8 9
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)

Target

T(x:A,y:B,z:C)