open Preamble

open Div_and_mod

open Jmeq

open Russell

open Bool

open Relations

open Nat

open Hints_declaration

open Core_notation

open Pts

open Logic

open Types

open List

open Util

val foldl_strong_internal :
  'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  'a2) -> 'a1 List.list -> 'a1 List.list -> 'a2 -> 'a2

val foldl_strong :
  'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  'a2) -> 'a2 -> 'a2

val foldr_strong_internal :
  'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  'a2) -> 'a1 List.list -> 'a1 List.list -> 'a2 -> 'a2

val foldr_strong :
  'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  'a2) -> 'a2 -> 'a2