Parameter Filtered.P

type edge = G.edge
type node = G.node
val edge : edge -> bool
val node : node -> bool