pyk.kore.prelude module

and_bool(left: Pattern, right: Pattern) → Pattern[source]
bool_dv(val: bool) → DV[source]
bytes_dv(val: bytes) → DV[source]
dv(val: bool | int | bytes | str) → DV[source]
eq_bool(left: Pattern, right: Pattern) → Pattern[source]
eq_int(left: Pattern, right: Pattern) → Pattern[source]
ge_int(left: Pattern, right: Pattern) → Pattern[source]
generated_counter(pattern: Pattern) → App[source]
generated_top(patterns: Iterable[Pattern]) → App[source]
gt_int(left: Pattern, right: Pattern) → Pattern[source]
implies_bool(left: Pattern, right: Pattern) → Pattern[source]
init_generated_top_cell(pattern: Pattern) → App[source]
inj(sort1: Sort, sort2: Sort, pattern: Pattern) → App[source]
int_dv(val: int) → DV[source]
json2string(pattern: Pattern) → App[source]
json_entry(key: Pattern, value: Pattern) → App[source]
json_key(key: str) → App[source]
json_list(pattern: Pattern) → App[source]
json_object(pattern: Pattern) → App[source]
json_to_kore(data: Any) → Pattern[source]
jsons(patterns: Iterable[Pattern]) → RightAssoc[source]
k(pattern: Pattern) → App[source]
k_config_var(var: str) → DV[source]
kore_to_json(pattern: Pattern) → Any[source]
kseq(kitems: Iterable[Pattern], *, dotvar: EVar | None = None) → Pattern[source]
le_int(left: Pattern, right: Pattern) → Pattern[source]
list_pattern(*args: Pattern) → Pattern[source]
lt_int(left: Pattern, right: Pattern) → Pattern[source]
map_pattern(*args: tuple[Pattern, Pattern], cell: str | None = None) → Pattern[source]
ne_bool(left: Pattern, right: Pattern) → Pattern[source]
ne_int(left: Pattern, right: Pattern) → Pattern[source]
not_bool(pattern: Pattern) → Pattern[source]
or_bool(left: Pattern, right: Pattern) → Pattern[source]
rangemap_pattern(*args: tuple[tuple[Pattern, Pattern], Pattern]) → Pattern[source]
set_pattern(*args: Pattern) → Pattern[source]
str_dv(val: str) → DV[source]
string2json(pattern: Pattern) → App[source]
top_cell_initializer(config: Mapping[str, Pattern]) → App[source]
xor_bool(left: Pattern, right: Pattern) → Pattern[source]