pyk.kllvm.runtime module

class Runtime(module: ModuleType)[source]

Bases: object

deserialize(bs: bytes) → Term | None[source]

evaluate(pattern: CompositePattern) → Pattern[source]

run(pattern: Pattern) → Pattern[source]

simplify(pattern: Pattern, sort: Sort) → Pattern[source]

simplify_bool(pattern: Pattern) → bool[source]

step(pattern: Pattern, depth: int | None = 1) → Pattern[source]

term(pattern: Pattern) → Term[source]

class Term(block: Any)[source]

Bases: object

property pattern: Pattern

run() → None[source]

serialize() → bytes[source]

step(depth: int | None = 1) → None[source]