pyk.ktool.kompile module¶

class KompileBackend(value)[source]¶

Bases: Enum

An enumeration.

HASKELL = 'haskell'¶

KORE = 'kore'¶

LLVM = 'llvm'¶

MAUDE = 'maude'¶

property args: frozenset[str]¶

kompile(main_file: str | Path, *, command: Iterable[str] = ('kompile',), output_dir: str | Path | None = None, temp_dir: str | Path | None = None, type_inference_mode: str | TypeInferenceMode | None = None, debug: bool = False, verbose: bool = False, cwd: Path | None = None, check: bool = True, **kwargs: Any) → Path[source]¶