extracted/foldStuff.mli

   1 open Preamble
   2
   3 open Div_and_mod
   4
   5 open Jmeq
   6
   7 open Russell
   8
   9 open Bool
  10
  11 open Relations
  12
  13 open Nat
  14
  15 open Hints_declaration
  16
  17 open Core_notation
  18
  19 open Pts
  20
  21 open Logic
  22
  23 open Types
  24
  25 open List
  26
  27 open Util
  28
  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
  32
  33 val foldl_strong :
  34   'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  35   'a2) -> 'a2 -> 'a2
  36
  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
  40
  41 val foldr_strong :
  42   'a1 List.list -> ('a1 List.list -> 'a1 -> 'a1 List.list -> __ -> 'a2 ->
  43   'a2) -> 'a2 -> 'a2
  44