pyk.kllvm.convert module

definition_to_llvm(definition: Definition) → Definition[source]

llvm_to_definition(definition: Definition) → Definition[source]

llvm_to_module(module: Module) → Module[source]

llvm_to_pattern(pattern: kllvm.Pattern) → Pattern[source]

llvm_to_sentence(decl: kllvm.Declaration) → Sentence[source]

llvm_to_sort(sort: kllvm.Sort) → Sort[source]

llvm_to_sort_var(var: SortVariable) → SortVar[source]

module_to_llvm(module: Module) → Module[source]

pattern_to_llvm(pattern: Pattern) → kllvm.Pattern[source]

sentence_to_llvm(sentence: Sentence) → kllvm.Declaration[source]

sort_to_llvm(sort: Sort) → kllvm.Sort[source]