69 type ident = PreIdentifiers.identifier
71 val ident_eq : ident -> ident -> (__, __) Types.sum
73 val ident_of_nat : Nat.nat -> ident
79 val region_rect_Type4 : 'a1 -> 'a1 -> region -> 'a1
81 val region_rect_Type5 : 'a1 -> 'a1 -> region -> 'a1
83 val region_rect_Type3 : 'a1 -> 'a1 -> region -> 'a1
85 val region_rect_Type2 : 'a1 -> 'a1 -> region -> 'a1
87 val region_rect_Type1 : 'a1 -> 'a1 -> region -> 'a1
89 val region_rect_Type0 : 'a1 -> 'a1 -> region -> 'a1
91 val region_inv_rect_Type4 : region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
93 val region_inv_rect_Type3 : region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
95 val region_inv_rect_Type2 : region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
97 val region_inv_rect_Type1 : region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
99 val region_inv_rect_Type0 : region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
101 val region_discr : region -> region -> __
103 val region_jmdiscr : region -> region -> __
105 val eq_region : region -> region -> Bool.bool
107 val eq_region_elim : region -> region -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
109 val eq_region_dec : region -> region -> (__, __) Types.sum
111 val size_pointer : Nat.nat
117 val signedness_rect_Type4 : 'a1 -> 'a1 -> signedness -> 'a1
119 val signedness_rect_Type5 : 'a1 -> 'a1 -> signedness -> 'a1
121 val signedness_rect_Type3 : 'a1 -> 'a1 -> signedness -> 'a1
123 val signedness_rect_Type2 : 'a1 -> 'a1 -> signedness -> 'a1
125 val signedness_rect_Type1 : 'a1 -> 'a1 -> signedness -> 'a1
127 val signedness_rect_Type0 : 'a1 -> 'a1 -> signedness -> 'a1
129 val signedness_inv_rect_Type4 :
130 signedness -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
132 val signedness_inv_rect_Type3 :
133 signedness -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
135 val signedness_inv_rect_Type2 :
136 signedness -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
138 val signedness_inv_rect_Type1 :
139 signedness -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
141 val signedness_inv_rect_Type0 :
142 signedness -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
144 val signedness_discr : signedness -> signedness -> __
146 val signedness_jmdiscr : signedness -> signedness -> __
153 val intsize_rect_Type4 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
155 val intsize_rect_Type5 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
157 val intsize_rect_Type3 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
159 val intsize_rect_Type2 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
161 val intsize_rect_Type1 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
163 val intsize_rect_Type0 : 'a1 -> 'a1 -> 'a1 -> intsize -> 'a1
165 val intsize_inv_rect_Type4 :
166 intsize -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
168 val intsize_inv_rect_Type3 :
169 intsize -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
171 val intsize_inv_rect_Type2 :
172 intsize -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
174 val intsize_inv_rect_Type1 :
175 intsize -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
177 val intsize_inv_rect_Type0 :
178 intsize -> (__ -> 'a1) -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
180 val intsize_discr : intsize -> intsize -> __
182 val intsize_jmdiscr : intsize -> intsize -> __
188 val floatsize_rect_Type4 : 'a1 -> 'a1 -> floatsize -> 'a1
190 val floatsize_rect_Type5 : 'a1 -> 'a1 -> floatsize -> 'a1
192 val floatsize_rect_Type3 : 'a1 -> 'a1 -> floatsize -> 'a1
194 val floatsize_rect_Type2 : 'a1 -> 'a1 -> floatsize -> 'a1
196 val floatsize_rect_Type1 : 'a1 -> 'a1 -> floatsize -> 'a1
198 val floatsize_rect_Type0 : 'a1 -> 'a1 -> floatsize -> 'a1
200 val floatsize_inv_rect_Type4 : floatsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
202 val floatsize_inv_rect_Type3 : floatsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
204 val floatsize_inv_rect_Type2 : floatsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
206 val floatsize_inv_rect_Type1 : floatsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
208 val floatsize_inv_rect_Type0 : floatsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
210 val floatsize_discr : floatsize -> floatsize -> __
212 val floatsize_jmdiscr : floatsize -> floatsize -> __
215 | ASTint of intsize * signedness
218 val typ_rect_Type4 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
220 val typ_rect_Type5 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
222 val typ_rect_Type3 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
224 val typ_rect_Type2 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
226 val typ_rect_Type1 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
228 val typ_rect_Type0 : (intsize -> signedness -> 'a1) -> 'a1 -> typ -> 'a1
230 val typ_inv_rect_Type4 :
231 typ -> (intsize -> signedness -> __ -> 'a1) -> (__ -> 'a1) -> 'a1
233 val typ_inv_rect_Type3 :
234 typ -> (intsize -> signedness -> __ -> 'a1) -> (__ -> 'a1) -> 'a1
236 val typ_inv_rect_Type2 :
237 typ -> (intsize -> signedness -> __ -> 'a1) -> (__ -> 'a1) -> 'a1
239 val typ_inv_rect_Type1 :
240 typ -> (intsize -> signedness -> __ -> 'a1) -> (__ -> 'a1) -> 'a1
242 val typ_inv_rect_Type0 :
243 typ -> (intsize -> signedness -> __ -> 'a1) -> (__ -> 'a1) -> 'a1
245 val typ_discr : typ -> typ -> __
247 val typ_jmdiscr : typ -> typ -> __
251 val sigType_Int : typ
253 val sigType_Ptr : typ
255 val pred_size_intsize : intsize -> Nat.nat
257 val size_intsize : intsize -> Nat.nat
259 val bitsize_of_intsize : intsize -> Nat.nat
261 val eq_intsize : intsize -> intsize -> Bool.bool
263 val eq_intsize_elim : intsize -> intsize -> (__ -> 'a1) -> (__ -> 'a1) -> 'a1
265 val signedness_check : signedness -> signedness -> 'a1 -> 'a1 -> 'a1
267 val inttyp_eq_elim' :
268 intsize -> intsize -> signedness -> signedness -> 'a1 -> 'a1 -> 'a1
270 val intsize_eq_elim' : intsize -> intsize -> 'a1 -> 'a1 -> 'a1
272 val intsize_eq_elim : intsize -> intsize -> 'a2 -> ('a2 -> 'a1) -> 'a1 -> 'a1
274 val intsize_eq_elim_elim :
275 intsize -> intsize -> 'a2 -> ('a2 -> 'a1) -> 'a1 -> (__ -> 'a3) -> (__ ->
278 type bvint = BitVector.bitVector
280 val repr : intsize -> Nat.nat -> bvint
282 val size_floatsize : floatsize -> Nat.nat
284 val floatsize_eq_elim : floatsize -> floatsize -> 'a1 -> 'a1 -> 'a1
286 val typesize : typ -> Nat.nat
288 val typ_eq : typ -> typ -> (__, __) Types.sum
290 val opt_typ_eq : typ Types.option -> typ Types.option -> (__, __) Types.sum
292 type signature = { sig_args : typ List.list; sig_res : typ Types.option }
294 val signature_rect_Type4 :
295 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
297 val signature_rect_Type5 :
298 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
300 val signature_rect_Type3 :
301 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
303 val signature_rect_Type2 :
304 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
306 val signature_rect_Type1 :
307 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
309 val signature_rect_Type0 :
310 (typ List.list -> typ Types.option -> 'a1) -> signature -> 'a1
312 val sig_args : signature -> typ List.list
314 val sig_res : signature -> typ Types.option
316 val signature_inv_rect_Type4 :
317 signature -> (typ List.list -> typ Types.option -> __ -> 'a1) -> 'a1
319 val signature_inv_rect_Type3 :
320 signature -> (typ List.list -> typ Types.option -> __ -> 'a1) -> 'a1
322 val signature_inv_rect_Type2 :
323 signature -> (typ List.list -> typ Types.option -> __ -> 'a1) -> 'a1
325 val signature_inv_rect_Type1 :
326 signature -> (typ List.list -> typ Types.option -> __ -> 'a1) -> 'a1
328 val signature_inv_rect_Type0 :
329 signature -> (typ List.list -> typ Types.option -> __ -> 'a1) -> 'a1
331 val signature_discr : signature -> signature -> __
333 val signature_jmdiscr : signature -> signature -> __
335 type signature0 = signature
337 val signature_args : signature -> typ List.list
339 val signature_return : signature -> typ Types.option
341 val proj_sig_res : signature -> typ
345 | Init_int16 of bvint
346 | Init_int32 of bvint
347 | Init_space of Nat.nat
349 | Init_addrof of ident * Nat.nat
351 val init_data_rect_Type4 :
352 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
353 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
355 val init_data_rect_Type5 :
356 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
357 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
359 val init_data_rect_Type3 :
360 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
361 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
363 val init_data_rect_Type2 :
364 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
365 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
367 val init_data_rect_Type1 :
368 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
369 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
371 val init_data_rect_Type0 :
372 (bvint -> 'a1) -> (bvint -> 'a1) -> (bvint -> 'a1) -> (Nat.nat -> 'a1) ->
373 'a1 -> (ident -> Nat.nat -> 'a1) -> init_data -> 'a1
375 val init_data_inv_rect_Type4 :
376 init_data -> (bvint -> __ -> 'a1) -> (bvint -> __ -> 'a1) -> (bvint -> __
377 -> 'a1) -> (Nat.nat -> __ -> 'a1) -> (__ -> 'a1) -> (ident -> Nat.nat -> __
380 val init_data_inv_rect_Type3 :
381 init_data -> (bvint -> __ -> 'a1) -> (bvint -> __ -> 'a1) -> (bvint -> __
382 -> 'a1) -> (Nat.nat -> __ -> 'a1) -> (__ -> 'a1) -> (ident -> Nat.nat -> __
385 val init_data_inv_rect_Type2 :
386 init_data -> (bvint -> __ -> 'a1) -> (bvint -> __ -> 'a1) -> (bvint -> __
387 -> 'a1) -> (Nat.nat -> __ -> 'a1) -> (__ -> 'a1) -> (ident -> Nat.nat -> __
390 val init_data_inv_rect_Type1 :
391 init_data -> (bvint -> __ -> 'a1) -> (bvint -> __ -> 'a1) -> (bvint -> __
392 -> 'a1) -> (Nat.nat -> __ -> 'a1) -> (__ -> 'a1) -> (ident -> Nat.nat -> __
395 val init_data_inv_rect_Type0 :
396 init_data -> (bvint -> __ -> 'a1) -> (bvint -> __ -> 'a1) -> (bvint -> __
397 -> 'a1) -> (Nat.nat -> __ -> 'a1) -> (__ -> 'a1) -> (ident -> Nat.nat -> __
400 val init_data_discr : init_data -> init_data -> __
402 val init_data_jmdiscr : init_data -> init_data -> __
404 type ('f, 'v) program = { prog_vars : ((ident, region) Types.prod, 'v)
405 Types.prod List.list;
406 prog_funct : (ident, 'f) Types.prod List.list;
409 val program_rect_Type4 :
410 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
411 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
413 val program_rect_Type5 :
414 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
415 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
417 val program_rect_Type3 :
418 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
419 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
421 val program_rect_Type2 :
422 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
423 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
425 val program_rect_Type1 :
426 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
427 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
429 val program_rect_Type0 :
430 (((ident, region) Types.prod, 'a2) Types.prod List.list -> (ident, 'a1)
431 Types.prod List.list -> ident -> 'a3) -> ('a1, 'a2) program -> 'a3
434 ('a1, 'a2) program -> ((ident, region) Types.prod, 'a2) Types.prod
437 val prog_funct : ('a1, 'a2) program -> (ident, 'a1) Types.prod List.list
439 val prog_main : ('a1, 'a2) program -> ident
441 val program_inv_rect_Type4 :
442 ('a1, 'a2) program -> (((ident, region) Types.prod, 'a2) Types.prod
443 List.list -> (ident, 'a1) Types.prod List.list -> ident -> __ -> 'a3) ->
446 val program_inv_rect_Type3 :
447 ('a1, 'a2) program -> (((ident, region) Types.prod, 'a2) Types.prod
448 List.list -> (ident, 'a1) Types.prod List.list -> ident -> __ -> 'a3) ->
451 val program_inv_rect_Type2 :
452 ('a1, 'a2) program -> (((ident, region) Types.prod, 'a2) Types.prod
453 List.list -> (ident, 'a1) Types.prod List.list -> ident -> __ -> 'a3) ->
456 val program_inv_rect_Type1 :
457 ('a1, 'a2) program -> (((ident, region) Types.prod, 'a2) Types.prod
458 List.list -> (ident, 'a1) Types.prod List.list -> ident -> __ -> 'a3) ->
461 val program_inv_rect_Type0 :
462 ('a1, 'a2) program -> (((ident, region) Types.prod, 'a2) Types.prod
463 List.list -> (ident, 'a1) Types.prod List.list -> ident -> __ -> 'a3) ->
466 val program_discr : ('a1, 'a2) program -> ('a1, 'a2) program -> __
468 val program_jmdiscr : ('a1, 'a2) program -> ('a1, 'a2) program -> __
470 val prog_funct_names : ('a1, 'a2) program -> ident List.list
472 val prog_var_names : ('a1, 'a2) program -> ident List.list
475 ('a1 -> 'a2) -> (ident, 'a1) Types.prod List.list -> (ident, 'a2)
478 val transform_program :
479 ('a1, 'a3) program -> (ident List.list -> 'a1 -> 'a2) -> ('a2, 'a3) program
481 val transf_program_gen :
482 PreIdentifiers.identifierTag -> Identifiers.universe ->
483 (Identifiers.universe -> 'a1 -> ('a2, Identifiers.universe) Types.prod) ->
484 (ident, 'a1) Types.prod List.list -> ((ident, 'a2) Types.prod List.list,
485 Identifiers.universe) Types.prod
487 val transform_program_gen :
488 PreIdentifiers.identifierTag -> Identifiers.universe -> ('a1, 'a3) program
489 -> (ident List.list -> Identifiers.universe -> 'a1 -> ('a2,
490 Identifiers.universe) Types.prod) -> (('a2, 'a3) program,
491 Identifiers.universe) Types.prod
494 ('a2 -> 'a3 Errors.res) -> ('a1, 'a2) Types.prod List.list -> ('a1, 'a3)
495 Types.prod List.list Errors.res
497 val transform_partial_program :
498 ('a1, 'a3) program -> (ident List.list -> 'a1 -> 'a2 Errors.res) -> ('a2,
499 'a3) program Errors.res
501 val transform_partial_program2 :
502 ('a1, 'a3) program -> (ident List.list -> 'a1 -> 'a2 Errors.res) -> ('a3 ->
503 'a4 Errors.res) -> ('a2, 'a4) program Errors.res
508 val matching_rect_Type4 :
509 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
511 val matching_rect_Type5 :
512 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
514 val matching_rect_Type3 :
515 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
517 val matching_rect_Type2 :
518 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
520 val matching_rect_Type1 :
521 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
523 val matching_rect_Type0 :
524 (__ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> matching -> 'a1
534 val matching_inv_rect_Type4 :
535 matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
537 val matching_inv_rect_Type3 :
538 matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
540 val matching_inv_rect_Type2 :
541 matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
543 val matching_inv_rect_Type1 :
544 matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
546 val matching_inv_rect_Type0 :
547 matching -> (__ -> __ -> __ -> __ -> __ -> __ -> __ -> 'a1) -> 'a1
549 val matching_jmdiscr : matching -> matching -> __
551 val mfe_cast_fn_type :
552 matching -> ident List.list -> ident List.list -> __ -> __
554 val match_program_rect_Type4 :
555 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
558 val match_program_rect_Type5 :
559 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
562 val match_program_rect_Type3 :
563 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
566 val match_program_rect_Type2 :
567 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
570 val match_program_rect_Type1 :
571 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
574 val match_program_rect_Type0 :
575 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> 'a1)
578 val match_program_inv_rect_Type4 :
579 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> __
582 val match_program_inv_rect_Type3 :
583 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> __
586 val match_program_inv_rect_Type2 :
587 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> __
590 val match_program_inv_rect_Type1 :
591 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> __
594 val match_program_inv_rect_Type0 :
595 matching -> (__, __) program -> (__, __) program -> (__ -> __ -> __ -> __
598 val match_program_discr :
599 matching -> (__, __) program -> (__, __) program -> __
601 val match_program_jmdiscr :
602 matching -> (__, __) program -> (__, __) program -> __
604 type external_function = { ef_id : ident; ef_sig : signature }
606 val external_function_rect_Type4 :
607 (ident -> signature -> 'a1) -> external_function -> 'a1
609 val external_function_rect_Type5 :
610 (ident -> signature -> 'a1) -> external_function -> 'a1
612 val external_function_rect_Type3 :
613 (ident -> signature -> 'a1) -> external_function -> 'a1
615 val external_function_rect_Type2 :
616 (ident -> signature -> 'a1) -> external_function -> 'a1
618 val external_function_rect_Type1 :
619 (ident -> signature -> 'a1) -> external_function -> 'a1
621 val external_function_rect_Type0 :
622 (ident -> signature -> 'a1) -> external_function -> 'a1
624 val ef_id : external_function -> ident
626 val ef_sig : external_function -> signature
628 val external_function_inv_rect_Type4 :
629 external_function -> (ident -> signature -> __ -> 'a1) -> 'a1
631 val external_function_inv_rect_Type3 :
632 external_function -> (ident -> signature -> __ -> 'a1) -> 'a1
634 val external_function_inv_rect_Type2 :
635 external_function -> (ident -> signature -> __ -> 'a1) -> 'a1
637 val external_function_inv_rect_Type1 :
638 external_function -> (ident -> signature -> __ -> 'a1) -> 'a1
640 val external_function_inv_rect_Type0 :
641 external_function -> (ident -> signature -> __ -> 'a1) -> 'a1
643 val external_function_discr : external_function -> external_function -> __
645 val external_function_jmdiscr : external_function -> external_function -> __
647 type externalFunction = external_function
649 val external_function_tag : external_function -> ident
651 val external_function_sig : external_function -> signature
655 | External of external_function
657 val fundef_rect_Type4 :
658 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
660 val fundef_rect_Type5 :
661 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
663 val fundef_rect_Type3 :
664 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
666 val fundef_rect_Type2 :
667 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
669 val fundef_rect_Type1 :
670 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
672 val fundef_rect_Type0 :
673 ('a1 -> 'a2) -> (external_function -> 'a2) -> 'a1 fundef -> 'a2
675 val fundef_inv_rect_Type4 :
676 'a1 fundef -> ('a1 -> __ -> 'a2) -> (external_function -> __ -> 'a2) -> 'a2
678 val fundef_inv_rect_Type3 :
679 'a1 fundef -> ('a1 -> __ -> 'a2) -> (external_function -> __ -> 'a2) -> 'a2
681 val fundef_inv_rect_Type2 :
682 'a1 fundef -> ('a1 -> __ -> 'a2) -> (external_function -> __ -> 'a2) -> 'a2
684 val fundef_inv_rect_Type1 :
685 'a1 fundef -> ('a1 -> __ -> 'a2) -> (external_function -> __ -> 'a2) -> 'a2
687 val fundef_inv_rect_Type0 :
688 'a1 fundef -> ('a1 -> __ -> 'a2) -> (external_function -> __ -> 'a2) -> 'a2
690 val fundef_discr : 'a1 fundef -> 'a1 fundef -> __
692 val fundef_jmdiscr : 'a1 fundef -> 'a1 fundef -> __
694 val transf_fundef : ('a1 -> 'a2) -> 'a1 fundef -> 'a2 fundef
696 val transf_partial_fundef :
697 ('a1 -> 'a2 Errors.res) -> 'a1 fundef -> 'a2 fundef Errors.res