Function equal

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

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