sig val number : 'a list -> ('a * int) list val multimerge : 'a list list -> 'a list val multimerge_unique : 'a list list -> 'a list end