17 open Hints_declaration
29 type ('b, 'e) bind_new =
31 | Bnew of ('b -> ('b, 'e) bind_new)
33 val bind_new_rect_Type4 :
34 ('a2 -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new) -> ('a1 -> 'a3) -> 'a3) ->
35 ('a1, 'a2) bind_new -> 'a3
37 val bind_new_rect_Type3 :
38 ('a2 -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new) -> ('a1 -> 'a3) -> 'a3) ->
39 ('a1, 'a2) bind_new -> 'a3
41 val bind_new_rect_Type2 :
42 ('a2 -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new) -> ('a1 -> 'a3) -> 'a3) ->
43 ('a1, 'a2) bind_new -> 'a3
45 val bind_new_rect_Type1 :
46 ('a2 -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new) -> ('a1 -> 'a3) -> 'a3) ->
47 ('a1, 'a2) bind_new -> 'a3
49 val bind_new_rect_Type0 :
50 ('a2 -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new) -> ('a1 -> 'a3) -> 'a3) ->
51 ('a1, 'a2) bind_new -> 'a3
53 val bind_new_inv_rect_Type4 :
54 ('a1, 'a2) bind_new -> ('a2 -> __ -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new)
55 -> ('a1 -> __ -> 'a3) -> __ -> 'a3) -> 'a3
57 val bind_new_inv_rect_Type3 :
58 ('a1, 'a2) bind_new -> ('a2 -> __ -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new)
59 -> ('a1 -> __ -> 'a3) -> __ -> 'a3) -> 'a3
61 val bind_new_inv_rect_Type2 :
62 ('a1, 'a2) bind_new -> ('a2 -> __ -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new)
63 -> ('a1 -> __ -> 'a3) -> __ -> 'a3) -> 'a3
65 val bind_new_inv_rect_Type1 :
66 ('a1, 'a2) bind_new -> ('a2 -> __ -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new)
67 -> ('a1 -> __ -> 'a3) -> __ -> 'a3) -> 'a3
69 val bind_new_inv_rect_Type0 :
70 ('a1, 'a2) bind_new -> ('a2 -> __ -> 'a3) -> (('a1 -> ('a1, 'a2) bind_new)
71 -> ('a1 -> __ -> 'a3) -> __ -> 'a3) -> 'a3
73 val bind_new_discr : ('a1, 'a2) bind_new -> ('a1, 'a2) bind_new -> __
75 val bind_new_jmdiscr : ('a1, 'a2) bind_new -> ('a1, 'a2) bind_new -> __
78 Nat.nat -> ('a1 List.list -> ('a1, 'a2) bind_new) -> ('a1, 'a2) bind_new
81 Nat.nat -> ('a1 List.list -> __ -> ('a1, 'a2) bind_new) -> ('a1, 'a2)
85 ('a1, 'a2) bind_new -> ('a2 -> ('a1, 'a3) bind_new) -> ('a1, 'a3) bind_new
87 val bindNew : Monad.monadProps
92 'a2 Monad.smax_def__o__monad -> ('a2, 'a3) bind_new -> 'a3
93 Monad.smax_def__o__monad