pyk.cterm.show module

class CTermShow(printer: 'Callable[[KInner], str]', minimize: 'bool' = True, break_cell_collections: 'bool' = True, omit_labels: 'Iterable[str]' = ())

Bases: object

let(minimize: bool | None = None, break_cell_collections: bool | None = None, omit_labels: Iterable[str] | None = None) → CTermShow

print_lines(kast: KInner) → list[str]

show(cterm: CTerm) → list[str]

show_config(cterm: CTerm) → list[str]

show_constraints(cterm: CTerm) → list[str]