Changeset 2797 for extracted/joint.mli


Ignore:
Timestamp:
Mar 7, 2013, 12:55:34 PM (7 years ago)
Author:
sacerdot
Message:

Extracted again after James's cleanup and the implementation of the
new testing function to be used in the untrusted code.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/joint.mli

    r2775 r2797  
    311311val unserialized_params_jmdiscr :
    312312  unserialized_params -> unserialized_params -> __
     313
     314type get_pseudo_reg_functs = { acc_a_regs : (__ -> Registers.register
     315                                            List.list);
     316                               acc_b_regs : (__ -> Registers.register
     317                                            List.list);
     318                               acc_a_args : (__ -> Registers.register
     319                                            List.list);
     320                               acc_b_args : (__ -> Registers.register
     321                                            List.list);
     322                               dpl_regs : (__ -> Registers.register
     323                                          List.list);
     324                               dph_regs : (__ -> Registers.register
     325                                          List.list);
     326                               dpl_args : (__ -> Registers.register
     327                                          List.list);
     328                               dph_args : (__ -> Registers.register
     329                                          List.list);
     330                               snd_args : (__ -> Registers.register
     331                                          List.list);
     332                               pair_move_regs : (__ -> Registers.register
     333                                                List.list);
     334                               f_call_args : (__ -> Registers.register
     335                                             List.list);
     336                               f_call_dest : (__ -> Registers.register
     337                                             List.list);
     338                               ext_seq_regs : (__ -> Registers.register
     339                                              List.list);
     340                               params_regs : (__ -> Registers.register
     341                                             List.list) }
     342
     343val get_pseudo_reg_functs_rect_Type4 :
     344  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     345  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     346  (__ -> Registers.register List.list) -> (__ -> Registers.register
     347  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     348  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     349  (__ -> Registers.register List.list) -> (__ -> Registers.register
     350  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     351  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     352  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     353  'a1
     354
     355val get_pseudo_reg_functs_rect_Type5 :
     356  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     357  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     358  (__ -> Registers.register List.list) -> (__ -> Registers.register
     359  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     360  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     361  (__ -> Registers.register List.list) -> (__ -> Registers.register
     362  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     363  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     364  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     365  'a1
     366
     367val get_pseudo_reg_functs_rect_Type3 :
     368  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     369  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     370  (__ -> Registers.register List.list) -> (__ -> Registers.register
     371  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     372  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     373  (__ -> Registers.register List.list) -> (__ -> Registers.register
     374  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     375  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     376  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     377  'a1
     378
     379val get_pseudo_reg_functs_rect_Type2 :
     380  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     381  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     382  (__ -> Registers.register List.list) -> (__ -> Registers.register
     383  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     384  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     385  (__ -> Registers.register List.list) -> (__ -> Registers.register
     386  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     387  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     388  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     389  'a1
     390
     391val get_pseudo_reg_functs_rect_Type1 :
     392  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     393  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     394  (__ -> Registers.register List.list) -> (__ -> Registers.register
     395  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     396  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     397  (__ -> Registers.register List.list) -> (__ -> Registers.register
     398  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     399  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     400  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     401  'a1
     402
     403val get_pseudo_reg_functs_rect_Type0 :
     404  unserialized_params -> ((__ -> Registers.register List.list) -> (__ ->
     405  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     406  (__ -> Registers.register List.list) -> (__ -> Registers.register
     407  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     408  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     409  (__ -> Registers.register List.list) -> (__ -> Registers.register
     410  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     411  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     412  (__ -> Registers.register List.list) -> 'a1) -> get_pseudo_reg_functs ->
     413  'a1
     414
     415val acc_a_regs :
     416  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     417  List.list
     418
     419val acc_b_regs :
     420  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     421  List.list
     422
     423val acc_a_args :
     424  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     425  List.list
     426
     427val acc_b_args :
     428  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     429  List.list
     430
     431val dpl_regs :
     432  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     433  List.list
     434
     435val dph_regs :
     436  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     437  List.list
     438
     439val dpl_args :
     440  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     441  List.list
     442
     443val dph_args :
     444  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     445  List.list
     446
     447val snd_args :
     448  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     449  List.list
     450
     451val pair_move_regs :
     452  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     453  List.list
     454
     455val f_call_args :
     456  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     457  List.list
     458
     459val f_call_dest :
     460  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     461  List.list
     462
     463val ext_seq_regs :
     464  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     465  List.list
     466
     467val params_regs :
     468  unserialized_params -> get_pseudo_reg_functs -> __ -> Registers.register
     469  List.list
     470
     471val get_pseudo_reg_functs_inv_rect_Type4 :
     472  unserialized_params -> get_pseudo_reg_functs -> ((__ -> Registers.register
     473  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     474  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     475  (__ -> Registers.register List.list) -> (__ -> Registers.register
     476  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     477  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     478  (__ -> Registers.register List.list) -> (__ -> Registers.register
     479  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     480  Registers.register List.list) -> (__ -> Registers.register List.list) -> __
     481  -> 'a1) -> 'a1
     482
     483val get_pseudo_reg_functs_inv_rect_Type3 :
     484  unserialized_params -> get_pseudo_reg_functs -> ((__ -> Registers.register
     485  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     486  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     487  (__ -> Registers.register List.list) -> (__ -> Registers.register
     488  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     489  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     490  (__ -> Registers.register List.list) -> (__ -> Registers.register
     491  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     492  Registers.register List.list) -> (__ -> Registers.register List.list) -> __
     493  -> 'a1) -> 'a1
     494
     495val get_pseudo_reg_functs_inv_rect_Type2 :
     496  unserialized_params -> get_pseudo_reg_functs -> ((__ -> Registers.register
     497  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     498  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     499  (__ -> Registers.register List.list) -> (__ -> Registers.register
     500  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     501  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     502  (__ -> Registers.register List.list) -> (__ -> Registers.register
     503  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     504  Registers.register List.list) -> (__ -> Registers.register List.list) -> __
     505  -> 'a1) -> 'a1
     506
     507val get_pseudo_reg_functs_inv_rect_Type1 :
     508  unserialized_params -> get_pseudo_reg_functs -> ((__ -> Registers.register
     509  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     510  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     511  (__ -> Registers.register List.list) -> (__ -> Registers.register
     512  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     513  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     514  (__ -> Registers.register List.list) -> (__ -> Registers.register
     515  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     516  Registers.register List.list) -> (__ -> Registers.register List.list) -> __
     517  -> 'a1) -> 'a1
     518
     519val get_pseudo_reg_functs_inv_rect_Type0 :
     520  unserialized_params -> get_pseudo_reg_functs -> ((__ -> Registers.register
     521  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     522  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     523  (__ -> Registers.register List.list) -> (__ -> Registers.register
     524  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     525  Registers.register List.list) -> (__ -> Registers.register List.list) ->
     526  (__ -> Registers.register List.list) -> (__ -> Registers.register
     527  List.list) -> (__ -> Registers.register List.list) -> (__ ->
     528  Registers.register List.list) -> (__ -> Registers.register List.list) -> __
     529  -> 'a1) -> 'a1
     530
     531val get_pseudo_reg_functs_jmdiscr :
     532  unserialized_params -> get_pseudo_reg_functs -> get_pseudo_reg_functs -> __
     533
     534type uns_params = { u_pars : unserialized_params;
     535                    functs : get_pseudo_reg_functs }
     536
     537val uns_params_rect_Type4 :
     538  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     539
     540val uns_params_rect_Type5 :
     541  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     542
     543val uns_params_rect_Type3 :
     544  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     545
     546val uns_params_rect_Type2 :
     547  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     548
     549val uns_params_rect_Type1 :
     550  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     551
     552val uns_params_rect_Type0 :
     553  (unserialized_params -> get_pseudo_reg_functs -> 'a1) -> uns_params -> 'a1
     554
     555val u_pars : uns_params -> unserialized_params
     556
     557val functs : uns_params -> get_pseudo_reg_functs
     558
     559val uns_params_inv_rect_Type4 :
     560  uns_params -> (unserialized_params -> get_pseudo_reg_functs -> __ -> 'a1)
     561  -> 'a1
     562
     563val uns_params_inv_rect_Type3 :
     564  uns_params -> (unserialized_params -> get_pseudo_reg_functs -> __ -> 'a1)
     565  -> 'a1
     566
     567val uns_params_inv_rect_Type2 :
     568  uns_params -> (unserialized_params -> get_pseudo_reg_functs -> __ -> 'a1)
     569  -> 'a1
     570
     571val uns_params_inv_rect_Type1 :
     572  uns_params -> (unserialized_params -> get_pseudo_reg_functs -> __ -> 'a1)
     573  -> 'a1
     574
     575val uns_params_inv_rect_Type0 :
     576  uns_params -> (unserialized_params -> get_pseudo_reg_functs -> __ -> 'a1)
     577  -> 'a1
     578
     579val uns_params_jmdiscr : uns_params -> uns_params -> __
    313580
    314581type joint_seq =
     
    426693  unserialized_params -> AST.ident List.list -> joint_seq -> joint_seq -> __
    427694
     695val get_used_registers_from_seq :
     696  unserialized_params -> AST.ident List.list -> get_pseudo_reg_functs ->
     697  joint_seq -> Registers.register List.list
     698
    428699val nOOP : unserialized_params -> AST.ident List.list -> joint_seq
    429700
     
    520791  __
    521792
     793val get_used_registers_from_step :
     794  unserialized_params -> AST.ident List.list -> get_pseudo_reg_functs ->
     795  joint_step -> Registers.register List.list
     796
    522797val dpi1__o__extension_seq_to_seq__o__seq_to_step__o__inject :
    523798  unserialized_params -> AST.ident List.list -> (__, 'a1) Types.dPair ->
     
    565840  List.list
    566841
    567 type stmt_params = { uns_pars : unserialized_params;
     842type stmt_params = { uns_pars : uns_params;
    568843                     succ_label : (__ -> Graphs.label Types.option);
    569844                     has_fcond : Bool.bool }
    570845
    571846val stmt_params_rect_Type4 :
    572   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    573   Bool.bool -> 'a1) -> stmt_params -> 'a1
     847  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     848  -> stmt_params -> 'a1
    574849
    575850val stmt_params_rect_Type5 :
    576   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    577   Bool.bool -> 'a1) -> stmt_params -> 'a1
     851  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     852  -> stmt_params -> 'a1
    578853
    579854val stmt_params_rect_Type3 :
    580   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    581   Bool.bool -> 'a1) -> stmt_params -> 'a1
     855  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     856  -> stmt_params -> 'a1
    582857
    583858val stmt_params_rect_Type2 :
    584   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    585   Bool.bool -> 'a1) -> stmt_params -> 'a1
     859  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     860  -> stmt_params -> 'a1
    586861
    587862val stmt_params_rect_Type1 :
    588   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    589   Bool.bool -> 'a1) -> stmt_params -> 'a1
     863  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     864  -> stmt_params -> 'a1
    590865
    591866val stmt_params_rect_Type0 :
    592   (unserialized_params -> __ -> (__ -> Graphs.label Types.option) ->
    593   Bool.bool -> 'a1) -> stmt_params -> 'a1
    594 
    595 val uns_pars : stmt_params -> unserialized_params
     867  (uns_params -> __ -> (__ -> Graphs.label Types.option) -> Bool.bool -> 'a1)
     868  -> stmt_params -> 'a1
     869
     870val uns_pars : stmt_params -> uns_params
    596871
    597872type succ
     
    602877
    603878val stmt_params_inv_rect_Type4 :
    604   stmt_params -> (unserialized_params -> __ -> (__ -> Graphs.label
    605   Types.option) -> Bool.bool -> __ -> 'a1) -> 'a1
     879  stmt_params -> (uns_params -> __ -> (__ -> Graphs.label Types.option) ->
     880  Bool.bool -> __ -> 'a1) -> 'a1
    606881
    607882val stmt_params_inv_rect_Type3 :
    608   stmt_params -> (unserialized_params -> __ -> (__ -> Graphs.label
    609   Types.option) -> Bool.bool -> __ -> 'a1) -> 'a1
     883  stmt_params -> (uns_params -> __ -> (__ -> Graphs.label Types.option) ->
     884  Bool.bool -> __ -> 'a1) -> 'a1
    610885
    611886val stmt_params_inv_rect_Type2 :
    612   stmt_params -> (unserialized_params -> __ -> (__ -> Graphs.label
    613   Types.option) -> Bool.bool -> __ -> 'a1) -> 'a1
     887  stmt_params -> (uns_params -> __ -> (__ -> Graphs.label Types.option) ->
     888  Bool.bool -> __ -> 'a1) -> 'a1
    614889
    615890val stmt_params_inv_rect_Type1 :
    616   stmt_params -> (unserialized_params -> __ -> (__ -> Graphs.label
    617   Types.option) -> Bool.bool -> __ -> 'a1) -> 'a1
     891  stmt_params -> (uns_params -> __ -> (__ -> Graphs.label Types.option) ->
     892  Bool.bool -> __ -> 'a1) -> 'a1
    618893
    619894val stmt_params_inv_rect_Type0 :
    620   stmt_params -> (unserialized_params -> __ -> (__ -> Graphs.label
    621   Types.option) -> Bool.bool -> __ -> 'a1) -> 'a1
     895  stmt_params -> (uns_params -> __ -> (__ -> Graphs.label Types.option) ->
     896  Bool.bool -> __ -> 'a1) -> 'a1
    622897
    623898val stmt_params_jmdiscr : stmt_params -> stmt_params -> __
     899
     900val uns_pars__o__u_pars : stmt_params -> unserialized_params
    624901
    625902type joint_fin_step =
     
    8521129val params_jmdiscr : params -> params -> __
    8531130
    854 val stmt_pars__o__uns_pars : params -> unserialized_params
     1131val stmt_pars__o__uns_pars : params -> uns_params
     1132
     1133val stmt_pars__o__uns_pars__o__u_pars : params -> unserialized_params
    8551134
    8561135val code_has_point : params -> AST.ident List.list -> __ -> __ -> Bool.bool
     
    8711150  List.list
    8721151
     1152val stmt_registers :
     1153  stmt_params -> AST.ident List.list -> joint_statement -> Registers.register
     1154  List.list
     1155
    8731156type lin_params =
    874   unserialized_params
     1157  uns_params
    8751158  (* singleton inductive, whose constructor was mk_lin_params *)
    8761159
    877 val lin_params_rect_Type4 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    878 
    879 val lin_params_rect_Type5 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    880 
    881 val lin_params_rect_Type3 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    882 
    883 val lin_params_rect_Type2 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    884 
    885 val lin_params_rect_Type1 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    886 
    887 val lin_params_rect_Type0 : (unserialized_params -> 'a1) -> lin_params -> 'a1
    888 
    889 val l_u_pars : lin_params -> unserialized_params
     1160val lin_params_rect_Type4 : (uns_params -> 'a1) -> lin_params -> 'a1
     1161
     1162val lin_params_rect_Type5 : (uns_params -> 'a1) -> lin_params -> 'a1
     1163
     1164val lin_params_rect_Type3 : (uns_params -> 'a1) -> lin_params -> 'a1
     1165
     1166val lin_params_rect_Type2 : (uns_params -> 'a1) -> lin_params -> 'a1
     1167
     1168val lin_params_rect_Type1 : (uns_params -> 'a1) -> lin_params -> 'a1
     1169
     1170val lin_params_rect_Type0 : (uns_params -> 'a1) -> lin_params -> 'a1
     1171
     1172val l_u_pars : lin_params -> uns_params
    8901173
    8911174val lin_params_inv_rect_Type4 :
    892   lin_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1175  lin_params -> (uns_params -> __ -> 'a1) -> 'a1
    8931176
    8941177val lin_params_inv_rect_Type3 :
    895   lin_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1178  lin_params -> (uns_params -> __ -> 'a1) -> 'a1
    8961179
    8971180val lin_params_inv_rect_Type2 :
    898   lin_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1181  lin_params -> (uns_params -> __ -> 'a1) -> 'a1
    8991182
    9001183val lin_params_inv_rect_Type1 :
    901   lin_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1184  lin_params -> (uns_params -> __ -> 'a1) -> 'a1
    9021185
    9031186val lin_params_inv_rect_Type0 :
    904   lin_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1187  lin_params -> (uns_params -> __ -> 'a1) -> 'a1
    9051188
    9061189val lin_params_jmdiscr : lin_params -> lin_params -> __
     
    9101193val lp_to_p__o__stmt_pars : lin_params -> stmt_params
    9111194
    912 val lp_to_p__o__stmt_pars__o__uns_pars : lin_params -> unserialized_params
     1195val lp_to_p__o__stmt_pars__o__uns_pars : lin_params -> uns_params
     1196
     1197val lp_to_p__o__stmt_pars__o__uns_pars__o__u_pars :
     1198  lin_params -> unserialized_params
    9131199
    9141200type graph_params =
    915   unserialized_params
     1201  uns_params
    9161202  (* singleton inductive, whose constructor was mk_graph_params *)
    9171203
    918 val graph_params_rect_Type4 :
    919   (unserialized_params -> 'a1) -> graph_params -> 'a1
    920 
    921 val graph_params_rect_Type5 :
    922   (unserialized_params -> 'a1) -> graph_params -> 'a1
    923 
    924 val graph_params_rect_Type3 :
    925   (unserialized_params -> 'a1) -> graph_params -> 'a1
    926 
    927 val graph_params_rect_Type2 :
    928   (unserialized_params -> 'a1) -> graph_params -> 'a1
    929 
    930 val graph_params_rect_Type1 :
    931   (unserialized_params -> 'a1) -> graph_params -> 'a1
    932 
    933 val graph_params_rect_Type0 :
    934   (unserialized_params -> 'a1) -> graph_params -> 'a1
    935 
    936 val g_u_pars : graph_params -> unserialized_params
     1204val graph_params_rect_Type4 : (uns_params -> 'a1) -> graph_params -> 'a1
     1205
     1206val graph_params_rect_Type5 : (uns_params -> 'a1) -> graph_params -> 'a1
     1207
     1208val graph_params_rect_Type3 : (uns_params -> 'a1) -> graph_params -> 'a1
     1209
     1210val graph_params_rect_Type2 : (uns_params -> 'a1) -> graph_params -> 'a1
     1211
     1212val graph_params_rect_Type1 : (uns_params -> 'a1) -> graph_params -> 'a1
     1213
     1214val graph_params_rect_Type0 : (uns_params -> 'a1) -> graph_params -> 'a1
     1215
     1216val g_u_pars : graph_params -> uns_params
    9371217
    9381218val graph_params_inv_rect_Type4 :
    939   graph_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1219  graph_params -> (uns_params -> __ -> 'a1) -> 'a1
    9401220
    9411221val graph_params_inv_rect_Type3 :
    942   graph_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1222  graph_params -> (uns_params -> __ -> 'a1) -> 'a1
    9431223
    9441224val graph_params_inv_rect_Type2 :
    945   graph_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1225  graph_params -> (uns_params -> __ -> 'a1) -> 'a1
    9461226
    9471227val graph_params_inv_rect_Type1 :
    948   graph_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1228  graph_params -> (uns_params -> __ -> 'a1) -> 'a1
    9491229
    9501230val graph_params_inv_rect_Type0 :
    951   graph_params -> (unserialized_params -> __ -> 'a1) -> 'a1
     1231  graph_params -> (uns_params -> __ -> 'a1) -> 'a1
    9521232
    9531233val graph_params_jmdiscr : graph_params -> graph_params -> __
     
    9571237val gp_to_p__o__stmt_pars : graph_params -> stmt_params
    9581238
    959 val gp_to_p__o__stmt_pars__o__uns_pars : graph_params -> unserialized_params
     1239val gp_to_p__o__stmt_pars__o__uns_pars : graph_params -> uns_params
     1240
     1241val gp_to_p__o__stmt_pars__o__uns_pars__o__u_pars :
     1242  graph_params -> unserialized_params
    9601243
    9611244type joint_internal_function = { joint_if_luniverse : Identifiers.universe;
     
    10501333val good_if_rect_Type4 :
    10511334  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1052   -> __ -> 'a1) -> 'a1
     1335  -> __ -> __ -> 'a1) -> 'a1
    10531336
    10541337val good_if_rect_Type5 :
    10551338  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1056   -> __ -> 'a1) -> 'a1
     1339  -> __ -> __ -> 'a1) -> 'a1
    10571340
    10581341val good_if_rect_Type3 :
    10591342  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1060   -> __ -> 'a1) -> 'a1
     1343  -> __ -> __ -> 'a1) -> 'a1
    10611344
    10621345val good_if_rect_Type2 :
    10631346  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1064   -> __ -> 'a1) -> 'a1
     1347  -> __ -> __ -> 'a1) -> 'a1
    10651348
    10661349val good_if_rect_Type1 :
    10671350  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1068   -> __ -> 'a1) -> 'a1
     1351  -> __ -> __ -> 'a1) -> 'a1
    10691352
    10701353val good_if_rect_Type0 :
    10711354  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1072   -> __ -> 'a1) -> 'a1
     1355  -> __ -> __ -> 'a1) -> 'a1
    10731356
    10741357val good_if_inv_rect_Type4 :
    10751358  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1076   -> __ -> __ -> 'a1) -> 'a1
     1359  -> __ -> __ -> __ -> 'a1) -> 'a1
    10771360
    10781361val good_if_inv_rect_Type3 :
    10791362  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1080   -> __ -> __ -> 'a1) -> 'a1
     1363  -> __ -> __ -> __ -> 'a1) -> 'a1
    10811364
    10821365val good_if_inv_rect_Type2 :
    10831366  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1084   -> __ -> __ -> 'a1) -> 'a1
     1367  -> __ -> __ -> __ -> 'a1) -> 'a1
    10851368
    10861369val good_if_inv_rect_Type1 :
    10871370  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1088   -> __ -> __ -> 'a1) -> 'a1
     1371  -> __ -> __ -> __ -> 'a1) -> 'a1
    10891372
    10901373val good_if_inv_rect_Type0 :
    10911374  params -> AST.ident List.list -> joint_internal_function -> (__ -> __ -> __
    1092   -> __ -> __ -> 'a1) -> 'a1
     1375  -> __ -> __ -> __ -> 'a1) -> 'a1
    10931376
    10941377val good_if_discr :
Note: See TracChangeset for help on using the changeset viewer.