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

...

File:
1 edited

Legend:

Unmodified
Added
Removed
  • extracted/registers.ml

    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 let registerTag = "register tag"
    61   (*failwith "AXIOM TO BE REALIZED"*)
    62 
    6357type register = PreIdentifiers.identifier
    6458
    6559(** val register_eq : register -> register -> (__, __) Types.sum **)
    6660let register_eq =
    67   Identifiers.identifier_eq registerTag
     61  Identifiers.identifier_eq PreIdentifiers.RegisterTag
    6862
    6963type 'a register_env = 'a Identifiers.identifier_map
     64
Note: See TracChangeset for help on using the changeset viewer.