15 open Hints_declaration
29 val foldl_strong_internal :
30 'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
31 'a2) -> 'a1 List.list -> 'a1 List.list -> 'a2 -> 'a2
34 'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
37 val foldr_strong_internal :
38 'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
39 'a2) -> 'a1 List.list -> 'a1 List.list -> 'a2 -> 'a2
42 'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->