pyk.kore.tools module

class PrintOutput(value)[source]

Bases: Enum

An enumeration.

BINARY = 'binary'

JSON = 'json'

KAST = 'kast'

KORE = 'kore'

LATEX = 'latex'

NONE = 'none'

PRETTY = 'pretty'

PROGRAM = 'program'

kore_print(pattern: str | Pattern, *, definition_dir: str | Path | None = None, output_file: str | Path | None = None, output: str | PrintOutput | None = None, color: bool | None = None) → str[source]