Ignore:
Timestamp:
Mar 28, 2013, 10:27:41 AM (7 years ago)
Author:
sacerdot
Message:

New extraction.

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/rTLabs_syntax.mli

    r2951 r2997  
    319319  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    320320  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    321   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     321  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    322322
    323323val internal_function_rect_Type5 :
     
    326326  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    327327  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    328   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     328  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    329329
    330330val internal_function_rect_Type3 :
     
    333333  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    334334  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    335   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     335  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    336336
    337337val internal_function_rect_Type2 :
     
    340340  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    341341  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    342   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     342  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    343343
    344344val internal_function_rect_Type1 :
     
    347347  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    348348  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    349   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     349  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    350350
    351351val internal_function_rect_Type0 :
     
    354354  Types.prod List.list -> (Registers.register, AST.typ) Types.prod List.list
    355355  -> Nat.nat -> statement Graphs.graph -> __ -> __ -> Graphs.label Types.sig0
    356   -> Graphs.label Types.sig0 -> 'a1) -> internal_function -> 'a1
     356  -> Graphs.label Types.sig0 -> __ -> 'a1) -> internal_function -> 'a1
    357357
    358358val f_labgen : internal_function -> Identifiers.universe
     
    382382  (Registers.register, AST.typ) Types.prod List.list -> (Registers.register,
    383383  AST.typ) Types.prod List.list -> Nat.nat -> statement Graphs.graph -> __ ->
    384   __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> 'a1) ->
    385   'a1
     384  __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> __ ->
     385  'a1) -> 'a1
    386386
    387387val internal_function_inv_rect_Type3 :
     
    390390  (Registers.register, AST.typ) Types.prod List.list -> (Registers.register,
    391391  AST.typ) Types.prod List.list -> Nat.nat -> statement Graphs.graph -> __ ->
    392   __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> 'a1) ->
    393   'a1
     392  __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> __ ->
     393  'a1) -> 'a1
    394394
    395395val internal_function_inv_rect_Type2 :
     
    398398  (Registers.register, AST.typ) Types.prod List.list -> (Registers.register,
    399399  AST.typ) Types.prod List.list -> Nat.nat -> statement Graphs.graph -> __ ->
    400   __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> 'a1) ->
    401   'a1
     400  __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> __ ->
     401  'a1) -> 'a1
    402402
    403403val internal_function_inv_rect_Type1 :
     
    406406  (Registers.register, AST.typ) Types.prod List.list -> (Registers.register,
    407407  AST.typ) Types.prod List.list -> Nat.nat -> statement Graphs.graph -> __ ->
    408   __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> 'a1) ->
    409   'a1
     408  __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> __ ->
     409  'a1) -> 'a1
    410410
    411411val internal_function_inv_rect_Type0 :
     
    414414  (Registers.register, AST.typ) Types.prod List.list -> (Registers.register,
    415415  AST.typ) Types.prod List.list -> Nat.nat -> statement Graphs.graph -> __ ->
    416   __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> 'a1) ->
    417   'a1
     416  __ -> Graphs.label Types.sig0 -> Graphs.label Types.sig0 -> __ -> __ ->
     417  'a1) -> 'a1
    418418
    419419val internal_function_jmdiscr : internal_function -> internal_function -> __
Note: See TracChangeset for help on using the changeset viewer.