pub fn tsp_instance_ty() -> Expr
TSPInstance : Type — complete graph with edge weights.
TSPInstance : Type