38 | MSG of ErrorMessages.errorMessage
39 | CTX of PreIdentifiers.identifierTag * PreIdentifiers.identifier
41 val errcode_rect_Type4 :
42 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
43 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
45 val errcode_rect_Type5 :
46 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
47 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
49 val errcode_rect_Type3 :
50 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
51 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
53 val errcode_rect_Type2 :
54 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
55 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
57 val errcode_rect_Type1 :
58 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
59 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
61 val errcode_rect_Type0 :
62 (ErrorMessages.errorMessage -> 'a1) -> (PreIdentifiers.identifierTag ->
63 PreIdentifiers.identifier -> 'a1) -> errcode -> 'a1
65 val errcode_inv_rect_Type4 :
66 errcode -> (ErrorMessages.errorMessage -> __ -> 'a1) ->
67 (PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> __ -> 'a1) ->
70 val errcode_inv_rect_Type3 :
71 errcode -> (ErrorMessages.errorMessage -> __ -> 'a1) ->
72 (PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> __ -> 'a1) ->
75 val errcode_inv_rect_Type2 :
76 errcode -> (ErrorMessages.errorMessage -> __ -> 'a1) ->
77 (PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> __ -> 'a1) ->
80 val errcode_inv_rect_Type1 :
81 errcode -> (ErrorMessages.errorMessage -> __ -> 'a1) ->
82 (PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> __ -> 'a1) ->
85 val errcode_inv_rect_Type0 :
86 errcode -> (ErrorMessages.errorMessage -> __ -> 'a1) ->
87 (PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> __ -> 'a1) ->
90 val errcode_discr : errcode -> errcode -> __
92 val errcode_jmdiscr : errcode -> errcode -> __
94 type errmsg = errcode List.list
96 val msg : ErrorMessages.errorMessage -> errmsg
102 val res_rect_Type4 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
104 val res_rect_Type5 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
106 val res_rect_Type3 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
108 val res_rect_Type2 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
110 val res_rect_Type1 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
112 val res_rect_Type0 : ('a1 -> 'a2) -> (errmsg -> 'a2) -> 'a1 res -> 'a2
114 val res_inv_rect_Type4 :
115 'a1 res -> ('a1 -> __ -> 'a2) -> (errmsg -> __ -> 'a2) -> 'a2
117 val res_inv_rect_Type3 :
118 'a1 res -> ('a1 -> __ -> 'a2) -> (errmsg -> __ -> 'a2) -> 'a2
120 val res_inv_rect_Type2 :
121 'a1 res -> ('a1 -> __ -> 'a2) -> (errmsg -> __ -> 'a2) -> 'a2
123 val res_inv_rect_Type1 :
124 'a1 res -> ('a1 -> __ -> 'a2) -> (errmsg -> __ -> 'a2) -> 'a2
126 val res_inv_rect_Type0 :
127 'a1 res -> ('a1 -> __ -> 'a2) -> (errmsg -> __ -> 'a2) -> 'a2
129 val res_discr : 'a1 res -> 'a1 res -> __
131 val res_jmdiscr : 'a1 res -> 'a1 res -> __
133 val res0 : Monad.monadProps
135 val mfold_left_i_aux :
136 (Nat.nat -> 'a1 -> 'a2 -> 'a1 res) -> 'a1 res -> Nat.nat -> 'a2 List.list
140 (Nat.nat -> 'a1 -> 'a2 -> 'a1 res) -> 'a1 res -> 'a2 List.list -> __
143 ('a1 -> 'a2 -> 'a3 -> 'a1 res) -> 'a1 res -> 'a2 List.list -> 'a3 List.list
146 val opt_to_res : errmsg -> 'a1 Types.option -> 'a1 res
148 val jmeq_to_eq__o__opt_eq_from_res__o__inject :
149 errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0
151 val dpi1__o__opt_eq_from_res__o__inject :
152 errmsg -> 'a1 Types.option -> 'a1 -> (__, 'a2) Types.dPair -> __ Types.sig0
154 val eject__o__opt_eq_from_res__o__inject :
155 errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0 -> __ Types.sig0
157 val opt_eq_from_res__o__inject :
158 errmsg -> 'a1 Types.option -> 'a1 -> __ Types.sig0
160 val bind_eq : 'a1 res -> ('a1 -> __ -> 'a2 res) -> 'a2 res
163 ('a1, 'a2) Types.prod res -> ('a1 -> 'a2 -> __ -> 'a3 res) -> 'a3 res
165 val res_to_opt : 'a1 res -> 'a1 Types.option
167 val bind : __ -> ('a1 -> __) -> __
169 val bind2 : __ -> ('a1 -> 'a2 -> __) -> __
171 val bind3 : __ -> ('a1 -> 'a2 -> 'a3 -> __) -> __
173 val mmap : ('a1 -> __) -> 'a1 List.list -> __
175 val mmap_sigma : ('a1 -> __) -> 'a1 List.list -> __