Function distinct

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

Construct the term expressing (distinct terms) representing that all of the terms in terms are distinct (or not-equal).