--
-- This file has been auto-generated by egison-translator.
--

matchAll [1, 2, 3, 4, 3, 5, 2, 6] as multiset integer with
  | $x :: #x :: _ -> x

matchAll [1, 2, 3, 4, 3, 5, 2, 6] as multiset integer with
  | $x :: !(#x :: _) -> x

matchAll [1, 2, 13, 14, 3, 15, 2, 6] as multiset integer with
  | $x :: #(x + 1) :: #(x + 2) :: _ -> x