Module Util.List

val split3 : ('a * 'b * 'c) list -> 'a list * 'b list * 'c list