Open eichlerkathi opened 5 years ago
Also need to fix #134 for this.
Note that at present there is no generic for prune_vertices and that it is in nat.
Also need to fix #134 for this.