Project

General

Profile

Download (5.33 KB) Statistics
| Branch: | Tag: | Revision:
1
type ident = string
2
type tag = int
3

    
4
module IMap: sig
5
  include Map.S with type key = ident
6
  val pp: ?comment:string -> (Format.formatter -> 'a -> unit) -> Format.formatter -> 'a t -> unit
7
  val diff: 'a t -> 'a t -> 'a t
8
  val of_list: (key * 'a) list -> 'a t
9
end
10

    
11
module ISet: sig
12
  include Set.S with type elt = ident
13
  val pp: Format.formatter -> t -> unit
14
end
15

    
16
module Format: sig
17
  include module type of Format
18
  val with_out_file: string -> (formatter -> unit) -> unit
19
  val pp_print_comma: formatter -> unit -> unit
20
  val pp_print_comma': formatter -> unit -> unit
21
  val pp_print_semicolon: formatter -> unit -> unit
22
  val pp_print_semicolon': formatter -> unit -> unit
23
  val pp_print_cpar: formatter -> unit -> unit
24
  val pp_open_vbox0: formatter -> unit -> unit
25
  val pp_print_cutcut: formatter -> unit -> unit
26
  val pp_print_nothing: formatter -> 'a -> unit
27
  val pp_print_endcut: string -> formatter -> unit -> unit
28
  val pp_print_list:
29
    ?pp_prologue:(formatter -> unit -> unit) ->
30
    ?pp_epilogue:(formatter -> unit -> unit) ->
31
    ?pp_op:(formatter -> unit -> unit) ->
32
    ?pp_cl:(formatter -> unit -> unit) ->
33
    ?pp_open_box:(formatter -> unit -> unit) ->
34
    ?pp_eol:(formatter -> unit -> unit) ->
35
    ?pp_nil:(formatter -> unit -> unit) ->
36
    ?pp_sep:(formatter -> unit -> unit) ->
37
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
38
  val pp_print_list_i:
39
    ?pp_prologue:(formatter -> unit -> unit) ->
40
    ?pp_epilogue:(formatter -> unit -> unit) ->
41
    ?pp_op:(formatter -> unit -> unit) ->
42
    ?pp_cl:(formatter -> unit -> unit) ->
43
    ?pp_open_box:(formatter -> unit -> unit) ->
44
    ?pp_eol:(formatter -> unit -> unit) ->
45
    ?pp_nil:(formatter -> unit -> unit) ->
46
    ?pp_sep:(formatter -> unit -> unit) ->
47
    (formatter -> int -> 'a -> unit) -> formatter -> 'a list -> unit
48
  val pp_print_list_i2:
49
    ?pp_prologue:(formatter -> unit -> unit) ->
50
    ?pp_epilogue:(formatter -> unit -> unit) ->
51
    ?pp_op:(formatter -> unit -> unit) ->
52
    ?pp_cl:(formatter -> unit -> unit) ->
53
    ?pp_open_box:(formatter -> unit -> unit) ->
54
    ?pp_eol:(formatter -> unit -> unit) ->
55
    ?pp_nil:(formatter -> unit -> unit) ->
56
    ?pp_sep:(formatter -> unit -> unit) ->
57
    (formatter -> int -> 'a -> 'b -> unit) -> formatter -> 'a list * 'b list -> unit
58
  val pp_comma_list:
59
    ?pp_prologue:(formatter -> unit -> unit) ->
60
    ?pp_epilogue:(formatter -> unit -> unit) ->
61
    ?pp_op:(formatter -> unit -> unit) ->
62
    ?pp_cl:(formatter -> unit -> unit) ->
63
    ?pp_open_box:(formatter -> unit -> unit) ->
64
    ?pp_eol:(formatter -> unit -> unit) ->
65
    ?pp_nil:(formatter -> unit -> unit) ->
66
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
67
  val pp_print_parenthesized:
68
    ?pp_sep:(formatter -> unit -> unit) ->
69
    ?pp_prologue:(formatter -> unit -> unit) ->
70
    ?pp_epilogue:(formatter -> unit -> unit) ->
71
    ?pp_open_box:(formatter -> unit -> unit) ->
72
    ?pp_eol:(formatter -> unit -> unit) ->
73
    ?pp_nil:(formatter -> unit -> unit) ->
74
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
75
  val pp_print_bracketed:
76
    ?pp_sep:(formatter -> unit -> unit) ->
77
    ?pp_prologue:(formatter -> unit -> unit) ->
78
    ?pp_epilogue:(formatter -> unit -> unit) ->
79
    ?pp_open_box:(formatter -> unit -> unit) ->
80
    ?pp_eol:(formatter -> unit -> unit) ->
81
    ?pp_nil:(formatter -> unit -> unit) ->
82
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
83
  val pp_print_braced:
84
    ?pp_sep:(formatter -> unit -> unit) ->
85
    ?pp_prologue:(formatter -> unit -> unit) ->
86
    ?pp_epilogue:(formatter -> unit -> unit) ->
87
    ?pp_open_box:(formatter -> unit -> unit) ->
88
    ?pp_eol:(formatter -> unit -> unit) ->
89
    ?pp_nil:(formatter -> unit -> unit) ->
90
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
91
  val pp_print_braced':
92
    ?pp_sep:(formatter -> unit -> unit) ->
93
    ?pp_prologue:(formatter -> unit -> unit) ->
94
    ?pp_epilogue:(formatter -> unit -> unit) ->
95
    ?pp_open_box:(formatter -> unit -> unit) ->
96
    ?pp_eol:(formatter -> unit -> unit) ->
97
    ?pp_nil:(formatter -> unit -> unit) ->
98
    (formatter -> 'a -> unit) -> formatter -> 'a list -> unit
99
end
100

    
101
module IdentDepGraph: Graph.Sig.I with type V.t = ident
102
module TopologicalDepGraph: sig
103
  val fold : (ident -> 'a -> 'a) -> IdentDepGraph.t -> 'a -> 'a
104
  val iter : (ident -> unit) -> IdentDepGraph.t -> unit
105
end
106
module Bfs: sig
107
  (* val iter : (ident -> unit) -> IdentDepGraph.t -> unit *)
108
  val iter_component : (ident -> unit) -> IdentDepGraph.t -> ident -> unit
109
  
110
  (* val fold : (G.V.t -> 'a -> 'a) -> 'a -> G.t -> 'a
111
   * val fold_component : (G.V.t -> 'a -> 'a) -> 'a -> G.t -> G.V.t -> 'a
112
   *
113
   * type iterator
114
   * val start : G.t -> iterator
115
   * val step : iterator -> iterator
116
   * val get : iterator -> G.V.t *)
117
end
118

    
119
val name_of_dimension: tag -> ident
120

    
121
val name_of_carrier: tag -> ident
122

    
123
val name_of_type: tag -> ident
124

    
125
val name_of_delay: tag -> ident
126

    
127
val reset_names: unit -> unit
128

    
129
val pp_date: Format.formatter -> Unix.tm -> unit
130

    
131
exception TransposeError of int * int
132

    
133
val transpose_list: 'a list list -> 'a list list
134

    
135
val new_tag: unit -> tag
136

    
137
exception DeSome
138

    
139
val desome: 'a option -> 'a
140

    
141
val create_hashtable: int -> ('a * 'b) list -> ('a, 'b) Hashtbl.t
142

    
143
val option_map: ('a -> 'b) -> 'a option -> 'b option
144

    
145
val repeat: int -> ('a -> 'a) -> 'a -> 'a
146

    
147
val add_cons: 'a -> 'a list -> 'a list
148

    
149
val enumerate: int -> int list
150

    
151
val duplicate: 'a -> int -> 'a list
152

    
153
val list_union: 'a list -> 'a list -> 'a list
(11-11/11)