Utils.List
val filter_map : ('a -> 'b option) -> 'a list -> 'b list
val pairs_of_list : 'a list -> ('a * 'a) list option