1 import Base 2 3 # An edge between two keys: what the source does with the destination, and how. 4 type Edge is Data: 5 Edge{source: String, destination: String, label: String, technology: String}