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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/registers.mli

    r2602 r2649  
    66
    77open Deqsets
     8
     9open ErrorMessages
    810
    911open PreIdentifiers
     
    2729open Util
    2830
     31open List
     32
    2933open Lists
    30 
    31 open Positive
    32 
    33 open Char
    3434
    3535open Bool
     
    3939open Nat
    4040
    41 open List
    42 
    43 open String
     41open Positive
    4442
    4543open Hints_declaration
     
    5755open Order
    5856
    59 val registerTag : String.string
    60 
    6157type register = PreIdentifiers.identifier
    6258
     
    6460
    6561type 'a register_env = 'a Identifiers.identifier_map
     62
Note: See TracChangeset for help on using the changeset viewer.