sig val exists2 : ('a ->'b -> bool) ->'a array ->'b array -> bool val for_alli : (int ->'a -> bool) ->'a array -> bool val all_somes : 'a option array ->'a array option end
The present documentation is copyright Institut National de Recherche en Informatique et en Automatique (INRIA). A complete version can be obtained from this page.