Home | History | Annotate | Line # | Download | only in pldi2012 
      1  1.1  mrg [n] -> { s0[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha;
      2  1.1  mrg 	 s1[i] -> [i] : exists alpha: 1 <= i <= n and i = 4 alpha + 2 }
      3  1.1  mrg [n] -> { : }
      4  1.1  mrg [n] -> { [*] -> separate[x] : x >= 0 }
      5