pyk.ktool.kompile module

class PykBackend(value)

Bases: Enum

An enumeration.

BOOSTER = 'booster'

HASKELL = 'haskell'

KORE = 'kore'

LLVM = 'llvm'

MAUDE = 'maude'

kompile(main_file: str | Path, *, backend: str | PykBackend | None = None, command: Iterable[str] = ('kompile',), output_dir: str | Path | None = None, temp_dir: str | Path | None = None, type_inference_mode: str | TypeInferenceMode | None = None, warnings: str | Warnings | None = None, warnings_to_errors: bool = False, ignore_warnings: Iterable[str] = (), no_exc_wrap: bool = False, debug: bool = False, verbose: bool = False, cwd: Path | None = None, check: bool = True, **kwargs: Any) → Path