Function razor_fol::syntax::exists1

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

Returns an existentially quantified formula on one variable.