kdrag.parsers.microlean.expr

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

Parameters:

• env (Env)

• expected_sort (SortRef | None)

Return type:

ExprRef