Function razor_fol::syntax::forall4

pub fn forall4(
    first: V, 
    second: V, 
    third: V, 
    fourth: V, 
    formula: Formula
) -> Formula

Returns a universally quantified formula on four variables.