simplechoicewithtypes.spec 65 Bytes
Newer Older
1
2
3
4
5
6
7
8
Workflow

forall x:X,s:S
	O(s) -> R += (x,s)

Target

R(x:X,s:S)