FDL > PVS > Graphs > graphs > edge? : const-decl

edge?(G)(x, y): bool = (x /= y) AND edges(G)(dbl[T](x, y));