of

fun of(termFormatter: <ERROR CLASS> = TermFormatter.prettyExpressions()): SolutionFormatter