kdrag.kernel.forget

kdrag.kernel.forget(ts: list[ExprRef], pf: None) → None

“Forget” a term using existentials. This is existential introduction.