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]
-
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]