Function snark_cmp 

pub fn snark_cmp<'a, A, B>(a: A, b: B) -> Ordering
where
    A: Into<SnarkCmp<'a>>,
    B: Into<SnarkCmp<'a>>,