c -> 'a list * 'b list -> 'c
	val foldriEq :      (int * 'a * 'b * 'c -> 'c) -> 'c -> 'a list * 'b list -> 'c
	val alli :          (int * 'a * 'b -> bool) -> 'a list * 'b list -> bool
	val alliEq :        (int * 'a * 'b -> bool) -> 'a list * 'b list -> bool
	val existsi :       (int * 'a * 'b -> bool) -> 'a list * 'b list -> bool
	val existsiEq :     (int * 'a * 'b -> bool) -> 'a list * 'b list -> bool
	val findi :         (int * 'a * 'b -> bool) -> 'a list * 'b list -> (int * 'a * 'b) option
	val filteri :