27 open Hints_declaration
52 val monadFunctRel_rect_Type4 :
53 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
56 val monadFunctRel_rect_Type5 :
57 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
60 val monadFunctRel_rect_Type3 :
61 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
64 val monadFunctRel_rect_Type2 :
65 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
68 val monadFunctRel_rect_Type1 :
69 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
72 val monadFunctRel_rect_Type0 :
73 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> 'a1) ->
76 val monadFunctRel_inv_rect_Type4 :
77 Monad.monad -> Monad.monad -> monadFunctRel -> (__ -> __ -> __ -> __ -> __
80 val monadFunctRel_inv_rect_Type3 :
81 Monad.monad -> Monad.monad -> monadFunctRel -> (__ -> __ -> __ -> __ -> __
84 val monadFunctRel_inv_rect_Type2 :
85 Monad.monad -> Monad.monad -> monadFunctRel -> (__ -> __ -> __ -> __ -> __
88 val monadFunctRel_inv_rect_Type1 :
89 Monad.monad -> Monad.monad -> monadFunctRel -> (__ -> __ -> __ -> __ -> __
92 val monadFunctRel_inv_rect_Type0 :
93 Monad.monad -> Monad.monad -> monadFunctRel -> (__ -> __ -> __ -> __ -> __
96 val monadFunctRel_jmdiscr :
97 Monad.monad -> Monad.monad -> monadFunctRel -> monadFunctRel -> __
102 val monadFunctRel1_rect_Type4 :
103 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
104 monadFunctRel1 -> 'a1
106 val monadFunctRel1_rect_Type5 :
107 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
108 monadFunctRel1 -> 'a1
110 val monadFunctRel1_rect_Type3 :
111 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
112 monadFunctRel1 -> 'a1
114 val monadFunctRel1_rect_Type2 :
115 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
116 monadFunctRel1 -> 'a1
118 val monadFunctRel1_rect_Type1 :
119 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
120 monadFunctRel1 -> 'a1
122 val monadFunctRel1_rect_Type0 :
123 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
124 monadFunctRel1 -> 'a1
126 val monadFunctRel1_inv_rect_Type4 :
127 Monad.monad -> Monad.monad -> monadFunctRel1 -> (__ -> __ -> __ -> __ -> __
130 val monadFunctRel1_inv_rect_Type3 :
131 Monad.monad -> Monad.monad -> monadFunctRel1 -> (__ -> __ -> __ -> __ -> __
134 val monadFunctRel1_inv_rect_Type2 :
135 Monad.monad -> Monad.monad -> monadFunctRel1 -> (__ -> __ -> __ -> __ -> __
138 val monadFunctRel1_inv_rect_Type1 :
139 Monad.monad -> Monad.monad -> monadFunctRel1 -> (__ -> __ -> __ -> __ -> __
142 val monadFunctRel1_inv_rect_Type0 :
143 Monad.monad -> Monad.monad -> monadFunctRel1 -> (__ -> __ -> __ -> __ -> __
146 val monadFunctRel1_jmdiscr :
147 Monad.monad -> Monad.monad -> monadFunctRel1 -> monadFunctRel1 -> __
152 val monadGenRel_rect_Type4 :
153 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
156 val monadGenRel_rect_Type5 :
157 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
160 val monadGenRel_rect_Type3 :
161 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
164 val monadGenRel_rect_Type2 :
165 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
168 val monadGenRel_rect_Type1 :
169 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
172 val monadGenRel_rect_Type0 :
173 Monad.monad -> Monad.monad -> (__ -> __ -> __ -> __ -> __ -> 'a1) ->
176 val monadGenRel_inv_rect_Type4 :
177 Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
180 val monadGenRel_inv_rect_Type3 :
181 Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
184 val monadGenRel_inv_rect_Type2 :
185 Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
188 val monadGenRel_inv_rect_Type1 :
189 Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
192 val monadGenRel_inv_rect_Type0 :
193 Monad.monad -> Monad.monad -> monadGenRel -> (__ -> __ -> __ -> __ -> __ ->
196 val monadGenRel_jmdiscr :
197 Monad.monad -> Monad.monad -> monadGenRel -> monadGenRel -> __
199 val res_preserve : monadFunctRel
201 val res_preserve1 : monadFunctRel1
203 val gen_res_preserve : monadGenRel
205 val opt_preserve : monadFunctRel
207 val opt_preserve1 : monadFunctRel1
209 val gen_opt_preserve : monadGenRel
211 val io_preserve : monadFunctRel
213 val io_preserve1 : monadFunctRel1
215 val gen_io_preserve : monadGenRel