35 open Hints_declaration
89 type eventval_type = __
91 val mk_eventval : AST.typ -> eventval_type -> Events.eventval
93 val mk_val : AST.typ -> eventval_type -> Values.val0
95 val convert_eventval : Events.eventval -> AST.typ -> Values.val0 Errors.res
97 val check_eventval' : Values.val0 -> AST.typ -> Events.eventval Errors.res
99 val check_eventval_list :
100 Values.val0 List.list -> AST.typ List.list -> Events.eventval List.list
103 type io_out = { io_function : AST.ident; io_args : Events.eventval List.list;
104 io_in_typ : AST.typ }
106 val io_out_rect_Type4 :
107 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
109 val io_out_rect_Type5 :
110 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
112 val io_out_rect_Type3 :
113 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
115 val io_out_rect_Type2 :
116 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
118 val io_out_rect_Type1 :
119 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
121 val io_out_rect_Type0 :
122 (AST.ident -> Events.eventval List.list -> AST.typ -> 'a1) -> io_out -> 'a1
124 val io_function : io_out -> AST.ident
126 val io_args : io_out -> Events.eventval List.list
128 val io_in_typ : io_out -> AST.typ
130 val io_out_inv_rect_Type4 :
131 io_out -> (AST.ident -> Events.eventval List.list -> AST.typ -> __ -> 'a1)
134 val io_out_inv_rect_Type3 :
135 io_out -> (AST.ident -> Events.eventval List.list -> AST.typ -> __ -> 'a1)
138 val io_out_inv_rect_Type2 :
139 io_out -> (AST.ident -> Events.eventval List.list -> AST.typ -> __ -> 'a1)
142 val io_out_inv_rect_Type1 :
143 io_out -> (AST.ident -> Events.eventval List.list -> AST.typ -> __ -> 'a1)
146 val io_out_inv_rect_Type0 :
147 io_out -> (AST.ident -> Events.eventval List.list -> AST.typ -> __ -> 'a1)
150 val io_out_discr : io_out -> io_out -> __
152 val io_out_jmdiscr : io_out -> io_out -> __
154 type io_in = eventval_type
157 AST.ident -> Events.eventval List.list -> AST.typ -> (io_out, io_in,
158 eventval_type) IOMonad.iO
160 val ret : 'a1 -> (io_out, io_in, 'a1) IOMonad.iO