a_star :: PathContext :: L
graph
# Type of the links in `graph` type L: Link
redef type L: WeightedLink
redef type L: PositionedLink