def edges.rev
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
1223def edges.rev(es: List<&2, Edge>, acc: List<&2, Edge>) -> List<&2, Edge>:
1224 match es:
1225 case Nil{}: acc
1226 case Con{h, t}: edges.rev(t, Con{h, acc})
import gralha-svg-render@0.1.0.1/svg.bend as Svgimport Base
1223def edges.rev(es: List<&2, Edge>, acc: List<&2, Edge>) -> List<&2, Edge>:
1224 match es:
1225 case Nil{}: acc
1226 case Con{h, t}: edges.rev(t, Con{h, acc})