kdrag.parsers.microlean.pattern

kdrag.parsers.microlean.pattern(tree, env: Env, expected_sort: SortRef | None) → ExprRef

Parameters:

• env (Env)

• expected_sort (SortRef | None)

Return type:

ExprRef