pyk.kllvm.parser module

parse_definition(text: str) → Definition[source]

parse_definition_file(path: str | Path) → Definition[source]

parse_pattern(text: str) → Pattern[source]

parse_pattern_file(path: str | Path) → Pattern[source]

parse_sort(text: str) → Sort[source]

parse_sort_file(path: str | Path) → Pattern[source]