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