Up
–
graphlib
»
Graphlib
»
Std
»
Graphlib
»
Filtered
» P
Parameter
Filtered.P
type
edge
=
G.edge
type
node
=
G.node
val
edge :
edge
->
bool
val
node :
node
->
bool