source: extracted/registers.mli @ 2960

Last change on this file since 2960 was 2649, checked in by sacerdot, 7 years ago

...

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