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.
(equal terms)
terms