pyk.kllvm.runtime module¶

class Runtime(module: ModuleType)[source]¶

Bases: object

deserialize(bs: bytes) → Term | None[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]¶