Function razor_fol::syntax::forall5

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

Returns a universally quantified formula on five variables.