of

fun of(solution: Solution): SolutionView<*, *>

Builds the SolutionView subclass (YesView, NoView, or HaltView) matching the kind of solution.