source: extracted/graphs.mli @ 2649

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

...

File size: 823 bytes
Line 
1open Preamble
2
3open Hints_declaration
4
5open Core_notation
6
7open Pts
8
9open Logic
10
11open Types
12
13open Extranat
14
15open Vector
16
17open Div_and_mod
18
19open Jmeq
20
21open Russell
22
23open List
24
25open Util
26
27open FoldStuff
28
29open Bool
30
31open Relations
32
33open Nat
34
35open BitVector
36
37open BitVectorTrie
38
39open Proper
40
41open PositiveMap
42
43open Deqsets
44
45open ErrorMessages
46
47open PreIdentifiers
48
49open Errors
50
51open Extralib
52
53open Setoids
54
55open Monad
56
57open Option
58
59open Lists
60
61open Positive
62
63open Identifiers
64
65open Arithmetic
66
67open Integers
68
69open AST
70
71type label = PreIdentifiers.identifier
72
73val label_to_ident : label -> AST.ident
74
75val label_eq : label -> label -> (__, __) Types.sum
76
77type 'x graph = 'x Identifiers.identifier_map
78
79val graph_fold :
80  (Positive.pos -> 'a1 -> 'a2 -> 'a2) -> 'a1 graph -> 'a2 -> 'a2
81
82val graph_num_nodes : 'a1 graph -> Nat.nat
83
Note: See TracBrowser for help on using the repository browser.