Up
module
Fl_topo
:
sig
#
module type
IdentifiedType =
sig
#
type
t
#
type
id_t
#
val
id :
t
->
id_t
end
#
exception
Inconsistent_ordering
#
module type
S =
sig
#
type
key
#
type
el_t
#
type
t
#
val
create : unit
->
t
#
val
add :
t
->
el_t
->
unit
#
val
let_le :
t
->
key
->
key
->
unit
#
val
find :
t
->
key
->
el_t
#
val
le_than :
t
->
key
->
key
->
bool
#
val
key :
el_t
->
key
#
val
iter_up : (
el_t
->
unit)
->
t
->
unit
#
val
iter_down : (
el_t
->
unit)
->
t
->
unit
#
val
iter_up_at : (
el_t
->
unit)
->
t
->
key
list
->
unit
#
val
iter_down_at : (
el_t
->
unit)
->
t
->
key
list
->
unit
#
val
clear :
t
->
unit
#
val
replace :
t
->
key
->
el_t
->
unit
#
val
delete :
t
->
key
->
unit
#
val
copy :
t
->
t
end
#
module
Make :
functor
(H :
IdentifiedType
)
->
S
with
type
el_t
=
H
.
t
and
type
key
=
H
.
id_t
end