Function equal

pub fn equal<'st, T, const N: usize>(
    st: &'st Storage,
    terms: [T; N],
) -> Bool<'st>
where
    T: Into<STerm<'st>>,

Construct the term expressing (equal terms) representing that all of the terms in terms are equal.