Changeset 2858 for extracted/joint_printer.mli
 Timestamp:
 Mar 13, 2013, 12:52:16 AM (7 years ago)
 File:

 1 edited
Legend:
 Unmodified
 Added
 Removed

extracted/joint_printer.mli
r2854 r2858 191 191 'string > 192 192 'string); 193 print_newline : 'string;194 193 print_empty : 'string; 195 194 print_ident : (AST.ident > … … 209 208 val printing_pass_independent_params_rect_Type4 : 210 209 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 211 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>212 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>213 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1214 printing_pass_independent_params >'a2210 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 211 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 212 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 213 'a2 215 214 216 215 val printing_pass_independent_params_rect_Type5 : 217 216 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 218 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>219 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>220 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1221 printing_pass_independent_params >'a2217 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 218 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 219 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 220 'a2 222 221 223 222 val printing_pass_independent_params_rect_Type3 : 224 223 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 225 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>226 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>227 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1228 printing_pass_independent_params >'a2224 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 225 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 226 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 227 'a2 229 228 230 229 val printing_pass_independent_params_rect_Type2 : 231 230 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 232 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>233 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>234 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1235 printing_pass_independent_params >'a2231 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 232 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 233 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 234 'a2 236 235 237 236 val printing_pass_independent_params_rect_Type1 : 238 237 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 239 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>240 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>241 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1242 printing_pass_independent_params >'a2238 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 239 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 240 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 241 'a2 243 242 244 243 val printing_pass_independent_params_rect_Type0 : 245 244 ((String.string > 'a1) > (keyword > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 246 > 'a1 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1)>247 (Graphs.label > 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1>248 'a1) > (BackEndOps.op2 > 'a1) > 'a2) > 'a1249 printing_pass_independent_params >'a2245 > (AST.ident > 'a1) > (CostLabel.costlabel > 'a1) > (Graphs.label > 246 'a1) > (BackEndOps.opAccs > 'a1) > (BackEndOps.op1 > 'a1) > 247 (BackEndOps.op2 > 'a1) > 'a2) > 'a1 printing_pass_independent_params > 248 'a2 250 249 251 250 val print_String : … … 256 255 val print_concat : 'a1 printing_pass_independent_params > 'a1 > 'a1 > 'a1 257 256 258 val print_newline : 'a1 printing_pass_independent_params > 'a1259 260 257 val print_empty : 'a1 printing_pass_independent_params > 'a1 261 258 … … 276 273 val printing_pass_independent_params_inv_rect_Type4 : 277 274 'a1 printing_pass_independent_params > ((String.string > 'a1) > (keyword 278 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > 'a1 >(AST.ident > 'a1) >275 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > (AST.ident > 'a1) > 279 276 (CostLabel.costlabel > 'a1) > (Graphs.label > 'a1) > (BackEndOps.opAccs 280 277 > 'a1) > (BackEndOps.op1 > 'a1) > (BackEndOps.op2 > 'a1) > __ > 'a2) … … 283 280 val printing_pass_independent_params_inv_rect_Type3 : 284 281 'a1 printing_pass_independent_params > ((String.string > 'a1) > (keyword 285 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > 'a1 >(AST.ident > 'a1) >282 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > (AST.ident > 'a1) > 286 283 (CostLabel.costlabel > 'a1) > (Graphs.label > 'a1) > (BackEndOps.opAccs 287 284 > 'a1) > (BackEndOps.op1 > 'a1) > (BackEndOps.op2 > 'a1) > __ > 'a2) … … 290 287 val printing_pass_independent_params_inv_rect_Type2 : 291 288 'a1 printing_pass_independent_params > ((String.string > 'a1) > (keyword 292 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > 'a1 >(AST.ident > 'a1) >289 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > (AST.ident > 'a1) > 293 290 (CostLabel.costlabel > 'a1) > (Graphs.label > 'a1) > (BackEndOps.opAccs 294 291 > 'a1) > (BackEndOps.op1 > 'a1) > (BackEndOps.op2 > 'a1) > __ > 'a2) … … 297 294 val printing_pass_independent_params_inv_rect_Type1 : 298 295 'a1 printing_pass_independent_params > ((String.string > 'a1) > (keyword 299 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > 'a1 >(AST.ident > 'a1) >296 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > (AST.ident > 'a1) > 300 297 (CostLabel.costlabel > 'a1) > (Graphs.label > 'a1) > (BackEndOps.opAccs 301 298 > 'a1) > (BackEndOps.op1 > 'a1) > (BackEndOps.op2 > 'a1) > __ > 'a2) … … 304 301 val printing_pass_independent_params_inv_rect_Type0 : 305 302 'a1 printing_pass_independent_params > ((String.string > 'a1) > (keyword 306 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > 'a1 >(AST.ident > 'a1) >303 > 'a1) > ('a1 > 'a1 > 'a1) > 'a1 > (AST.ident > 'a1) > 307 304 (CostLabel.costlabel > 'a1) > (Graphs.label > 'a1) > (BackEndOps.opAccs 308 305 > 'a1) > (BackEndOps.op1 > 'a1) > (BackEndOps.op2 > 'a1) > __ > 'a2) … … 545 542 code_iteration_params > __ 546 543 544 val pm_choose_with_pref : 545 'a1 PositiveMap.positive_map > Positive.pos Types.option > 546 ((Positive.pos, 'a1) Types.prod, 'a1 PositiveMap.positive_map) Types.prod 547 Types.option 548 549 val visit_graph : 550 ('a1 > Positive.pos Types.option) > (Positive.pos > 'a1 > 'a2 > 'a2) 551 > 'a2 > Positive.pos Types.option > 'a1 PositiveMap.positive_map > 552 Nat.nat > 'a2 553 547 554 val graph_code_iteration_params : 548 555 Joint.graph_params > AST.ident List.list > 'a1 printing_params > 'a1 … … 569 576 val print_joint_internal_function : 570 577 Joint.params > AST.ident List.list > 'a1 code_iteration_params > 'a1 571 printing_params > Joint.joint_internal_function > 'a1 578 printing_params > Joint.joint_internal_function > 'a1 List.list 572 579 573 580 val print_joint_function : 574 581 Joint.params > AST.ident List.list > 'a1 code_iteration_params > 'a1 575 printing_params > Joint.joint_function > 'a1 582 printing_params > Joint.joint_function > 'a1 List.list 576 583 577 584 val print_joint_program : 578 585 Joint.params > 'a1 printing_params > Joint.joint_program > 'a1 579 code_iteration_params > 'a1580 586 code_iteration_params > (AST.ident, 'a1 List.list) Types.prod List.list 587
Note: See TracChangeset
for help on using the changeset viewer.