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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/compiler.mli

    r2601 r2649  
    33open CostLabel
    44
     5open Coqlib
     6
    57open Proper
    68
     
    911open Deqsets
    1012
     13open ErrorMessages
     14
    1115open PreIdentifiers
    1216
     
    2731open Identifiers
    2832
    29 open Coqlib
    30 
    31 open Floats
    32 
    3333open Arithmetic
    34 
    35 open Char
    36 
    37 open String
    3834
    3935open Vector
     
    168164  Csyntax.clight_program -> ((CostLabel.costlabel, Csyntax.clight_program)
    169165  Types.prod, RTLabs_syntax.rTLabs_program) Types.prod Errors.res
     166
     167open String
    170168
    171169open LabelledObjects
Note: See TracChangeset for help on using the changeset viewer.