format

open override fun format(value: Term): String

Converts a Term into a String

Return

a String representing the Term provided as argument

Parameters

value

is the Term to be converted in String