let edge (e: G.E.label) = []