The unified diff between revisions [c0298de2..] and [fac83dcc..] is displayed below. It can also be downloaded as a raw diff.

This diff has been restricted to the following files: 'viz_misc.mli'

#
#
# patch "viz_misc.mli"
#  from [0cfad473122dc2494c4886ebf8ec3d362ef7ea5a]
#    to [1ab258dd15c9db682622c137aa1bb2db6b903ee4]
#
============================================================
--- viz_misc.mli	0cfad473122dc2494c4886ebf8ec3d362ef7ea5a
+++ viz_misc.mli	1ab258dd15c9db682622c137aa1bb2db6b903ee4
@@ -8,6 +8,7 @@ val list_rassoc : 'b -> ('a * 'b) list -
 val list_uniq : 'a list -> 'a list
 val list_assoc_all : 'a -> ('a * 'b) list -> 'b list
 val list_rassoc : 'b -> ('a * 'b) list -> 'a (** @raise Not_found *)
+val list_filter_map : ('a -> bool) -> ('a -> 'b) -> 'a list -> 'b list
 val array_index : 'a array -> 'a -> int (** @raise Not_found *)

 val some : 'a option -> 'a
@@ -41,3 +42,5 @@ val make_cache : ('a -> 'b) -> 'a -> 'b
 val hex_enc : string -> string

 val make_cache : ('a -> 'b) -> 'a -> 'b
+
+val hashtbl_of_list : ('a * 'b) list -> ('a, 'b) Hashtbl.t