Changeset 2649 for extracted/events.ml


Ignore:
Timestamp:
Feb 7, 2013, 10:43:49 PM (7 years ago)
Author:
sacerdot
Message:

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/events.ml

    r2601 r2649  
    1313open Identifiers
    1414
    15 open Floats
    16 
    1715open Integers
    1816
     
    3735open Pointers
    3836
     37open ErrorMessages
     38
    3939open Option
    4040
     
    4444
    4545open Positive
    46 
    47 open Char
    48 
    49 open String
    5046
    5147open PreIdentifiers
     
    9187    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    9288let rec eventval_rect_Type4 h_EVint = function
    93 | EVint (sz, x_4458) -> h_EVint sz x_4458
     89| EVint (sz, x_2897) -> h_EVint sz x_2897
    9490
    9591(** val eventval_rect_Type5 :
    9692    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    9793let rec eventval_rect_Type5 h_EVint = function
    98 | EVint (sz, x_4461) -> h_EVint sz x_4461
     94| EVint (sz, x_2900) -> h_EVint sz x_2900
    9995
    10096(** val eventval_rect_Type3 :
    10197    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    10298let rec eventval_rect_Type3 h_EVint = function
    103 | EVint (sz, x_4464) -> h_EVint sz x_4464
     99| EVint (sz, x_2903) -> h_EVint sz x_2903
    104100
    105101(** val eventval_rect_Type2 :
    106102    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    107103let rec eventval_rect_Type2 h_EVint = function
    108 | EVint (sz, x_4467) -> h_EVint sz x_4467
     104| EVint (sz, x_2906) -> h_EVint sz x_2906
    109105
    110106(** val eventval_rect_Type1 :
    111107    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    112108let rec eventval_rect_Type1 h_EVint = function
    113 | EVint (sz, x_4470) -> h_EVint sz x_4470
     109| EVint (sz, x_2909) -> h_EVint sz x_2909
    114110
    115111(** val eventval_rect_Type0 :
    116112    (AST.intsize -> AST.bvint -> 'a1) -> eventval -> 'a1 **)
    117113let rec eventval_rect_Type0 h_EVint = function
    118 | EVint (sz, x_4473) -> h_EVint sz x_4473
     114| EVint (sz, x_2912) -> h_EVint sz x_2912
    119115
    120116(** val eventval_inv_rect_Type4 :
     
    161157    eventval -> 'a1) -> event -> 'a1 **)
    162158let rec event_rect_Type4 h_EVcost h_EVextcall = function
    163 | EVcost x_4498 -> h_EVcost x_4498
     159| EVcost x_2937 -> h_EVcost x_2937
    164160| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    165161
     
    168164    eventval -> 'a1) -> event -> 'a1 **)
    169165let rec event_rect_Type5 h_EVcost h_EVextcall = function
    170 | EVcost x_4502 -> h_EVcost x_4502
     166| EVcost x_2941 -> h_EVcost x_2941
    171167| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    172168
     
    175171    eventval -> 'a1) -> event -> 'a1 **)
    176172let rec event_rect_Type3 h_EVcost h_EVextcall = function
    177 | EVcost x_4506 -> h_EVcost x_4506
     173| EVcost x_2945 -> h_EVcost x_2945
    178174| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    179175
     
    182178    eventval -> 'a1) -> event -> 'a1 **)
    183179let rec event_rect_Type2 h_EVcost h_EVextcall = function
    184 | EVcost x_4510 -> h_EVcost x_4510
     180| EVcost x_2949 -> h_EVcost x_2949
    185181| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    186182
     
    189185    eventval -> 'a1) -> event -> 'a1 **)
    190186let rec event_rect_Type1 h_EVcost h_EVextcall = function
    191 | EVcost x_4514 -> h_EVcost x_4514
     187| EVcost x_2953 -> h_EVcost x_2953
    192188| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    193189
     
    196192    eventval -> 'a1) -> event -> 'a1 **)
    197193let rec event_rect_Type0 h_EVcost h_EVextcall = function
    198 | EVcost x_4518 -> h_EVcost x_4518
     194| EVcost x_2957 -> h_EVcost x_2957
    199195| EVextcall (ev_name, ev_args, ev_res) -> h_EVextcall ev_name ev_args ev_res
    200196
Note: See TracChangeset for help on using the changeset viewer.