pyk.kore.manip module

conjuncts(pattern: Pattern) → tuple[Pattern, ...][source]
free_occs(pattern: Pattern, *, bound_vars: Collection[str] = ()) → dict[str, list[EVar]][source]