pub fn solved(sketch: Sketch) -> Sketch
Solves sketch, which has to be fully constrained: a figure that does not solve is a mistake in how it was written down.
sketch