kdrag.kernel.instan

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

Instantiate a universally quantified formula. This is forall elimination