consolidate.egi

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

def consolidate {Eq a} (xss: [[a]]) : [[a]] :=
  match xss as multiset (set char) with
    | ($m :: $xs) :: (#m :: $ys) :: $rss ->
      consolidate (uniqueAs char (m :: xs ++ ys) :: rss)
    | _ -> xss

consolidate
  [['H', 'I', 'K'], ['A', 'B'], ['C', 'D'], ['D', 'B'], ['F', 'G', 'H']]