extracted/registers.ml

   1 open Preamble
   2
   3 open Proper
   4
   5 open PositiveMap
   6
   7 open Deqsets
   8
   9 open ErrorMessages
  10
  11 open PreIdentifiers
  12
  13 open Errors
  14
  15 open Extralib
  16
  17 open Setoids
  18
  19 open Monad
  20
  21 open Option
  22
  23 open Div_and_mod
  24
  25 open Jmeq
  26
  27 open Russell
  28
  29 open Util
  30
  31 open List
  32
  33 open Lists
  34
  35 open Bool
  36
  37 open Relations
  38
  39 open Nat
  40
  41 open Positive
  42
  43 open Hints_declaration
  44
  45 open Core_notation
  46
  47 open Pts
  48
  49 open Logic
  50
  51 open Types
  52
  53 open Identifiers
  54
  55 open Order
  56
  57 type register = PreIdentifiers.identifier
  58
  59 (** val register_eq : register -> register -> (__, __) Types.sum **)
  60 let register_eq =
  61   Identifiers.identifier_eq PreIdentifiers.RegisterTag
  62
  63 type 'a register_env = 'a Identifiers.identifier_map
  64