of

fun of(termFormatter: TermFormatter = TermFormatter.prettyExpressions()): SolutionFormatter

Creates a SolutionFormatter rendering terms with termFormatter (defaults to pretty-printed expressions).