module NodeSet: Hptset.Make(siginclude Node val id : tt -> intend)(sigval v : 'a list listend)(sigval l : State.t listend)
Hptset.Make
(
sig
include Node
val id : tt -> int
tt -> int
end
)
val v : 'a list list
'a list list
val l : State.t list
State.t list
include Hptset.S
val self : State.t
State.t