Changeset 2649 for extracted/aSM.mli


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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/aSM.mli

    r2601 r2649  
    11open Preamble
    22
    3 open Char
     3open Extranat
     4
     5open Vector
     6
     7open Div_and_mod
     8
     9open Jmeq
     10
     11open Russell
     12
     13open Types
     14
     15open List
     16
     17open Util
     18
     19open FoldStuff
     20
     21open Bool
     22
     23open Hints_declaration
     24
     25open Core_notation
     26
     27open Pts
     28
     29open Logic
     30
     31open Relations
     32
     33open Nat
     34
     35open BitVector
     36
     37open Proper
     38
     39open PositiveMap
     40
     41open Deqsets
     42
     43open ErrorMessages
     44
     45open PreIdentifiers
     46
     47open Errors
     48
     49open Extralib
     50
     51open Setoids
     52
     53open Monad
     54
     55open Option
     56
     57open Lists
     58
     59open Positive
     60
     61open Identifiers
     62
     63open Arithmetic
     64
     65open Integers
     66
     67open AST
     68
     69open CostLabel
     70
     71open LabelledObjects
    472
    573open String
    674
    7 open Extranat
    8 
    9 open Vector
    10 
    11 open Div_and_mod
    12 
    13 open Jmeq
    14 
    15 open Russell
    16 
    17 open Types
    18 
    19 open List
    20 
    21 open Util
    22 
    23 open FoldStuff
    24 
    25 open Bool
    26 
    27 open Hints_declaration
    28 
    29 open Core_notation
    30 
    31 open Pts
    32 
    33 open Logic
    34 
    35 open Relations
    36 
    37 open Nat
    38 
    39 open BitVector
    40 
    41 open Proper
    42 
    43 open PositiveMap
    44 
    45 open Deqsets
    46 
    47 open PreIdentifiers
    48 
    49 open Errors
    50 
    51 open Extralib
    52 
    53 open Setoids
    54 
    55 open Monad
    56 
    57 open Option
    58 
    59 open Lists
    60 
    61 open Positive
    62 
    63 open Identifiers
    64 
    65 open Coqlib
    66 
    67 open Floats
    68 
    69 open Arithmetic
    70 
    71 open Integers
    72 
    73 open AST
    74 
    75 open CostLabel
    76 
    77 open LabelledObjects
    78 
    79 val aSMTag : String.string
    80 
    8175type identifier0 = PreIdentifiers.identifier
    8276
    83 val toASM_ident : String.string -> PreIdentifiers.identifier -> identifier0
     77val toASM_ident :
     78  PreIdentifiers.identifierTag -> PreIdentifiers.identifier -> identifier0
    8479
    8580type addressing_mode =
Note: See TracChangeset for help on using the changeset viewer.