pyk.kast.formatter module

class Formatter(definition: KDefinition, *, indent: int = 0, brackets: bool = True)[source]

Bases: object

definition: KDefinition

format(term: KInner) → str[source]

add_brackets(definition: KDefinition, term: KInner) → KInner[source]