functor
(
N
:
Node
)
->
sig
val
after :
N
.abstract_value
->
N
.abstract_value
N
.
Edge_Dict
.t
end