pyk.kore.match module

app(symbol: str | None = None) → Callable[[Pattern], App]

arg(n: int, /) → Callable[[App], Pattern]

arg(symbol: str, /) → Callable[[App], App]

args() → Callable[[App], tuple[()]]

args(n1: int, /) → Callable[[App], tuple[Pattern]]

args(n1: int, n2: int, /) → Callable[[App], tuple[Pattern, Pattern]]

args(n1: int, n2: int, n3: int, /) → Callable[[App], tuple[Pattern, Pattern, Pattern]]

args(n1: int, n2: int, n3: int, n4: int, /) → Callable[[App], tuple[Pattern, Pattern, Pattern, Pattern]]

args(*ns: int) → Callable[[App], tuple[Pattern, ...]]

args(s1: str, /) → Callable[[App], tuple[App]]

args(s1: str, s2: str, /) → Callable[[App], tuple[App, App]]

args(s1: str, s2: str, s3: str, /) → Callable[[App], tuple[App, App, App]]

args(s1: str, s2: str, s3: str, s4: str, /) → Callable[[App], tuple[App, App, App, App]]

args(*ss: str) → Callable[[App], tuple[App, ...]]

case_symbol(*cases: tuple[str, Callable[[App], T]], default: Callable[[App], T] | None = None) → Callable[[Pattern], T]

inj(pattern: Pattern) → Pattern

kore_bool(pattern: Pattern) → bool

kore_bytes(pattern: Pattern) → bytes

kore_id(pattern: Pattern) → str

kore_int(pattern: Pattern) → int

kore_list_of(item: Callable[[Pattern], T]) → Callable[[Pattern], tuple[T, ...]]

kore_map_of(key: Callable[[Pattern], K], value: Callable[[Pattern], V], *, cell: str | None = None) → Callable[[Pattern], tuple[tuple[K, V], ...]]

kore_set_of(item: Callable[[Pattern], T]) → Callable[[Pattern], tuple[T, ...]]

kore_str(pattern: Pattern) → str

match_app(pattern: Pattern, symbol: str | None = None) → App

match_dv(pattern: Pattern, sort: Sort | None = None) → DV

match_inj(pattern: Pattern) → App

match_left_assoc(pattern: Pattern) → LeftAssoc

match_list(pattern: Pattern) → tuple[Pattern, ...]

match_map(pattern: Pattern, *, cell: str | None = None) → tuple[tuple[Pattern, Pattern], ...]

match_set(pattern: Pattern) → tuple[Pattern, ...]

match_symbol(app: App, symbol: str) → None