Function razor_fol::syntax::forall1

pub fn forall1(first: V, formula: Formula) -> Formula

Returns a universally quantified formula on one variable.