readable
fun readable(operators: OperatorSet = OperatorSet.DEFAULT, tagsOptions: TermFormatter.TagsFormattingOptions = TagsFormattingOptions()): TermFormatter
A TermFormatter aimed at human-readable output: renders operators as expressions and variables in a pretty way (see VarFormat.PRETTY).