fn ensure_sort(lhs: &Expression, rhs: &Expression) -> Result<()> {
        if lhs.bits() != rhs.bits() {
            Err(ErrorKind::Sort.into())
        } else {
            Ok(())
        }
    }
/// Ensures the bits of both lhs and rhs are the same.
Ensures the bits of both lhs and rhs are the same.
Ensures the bits of both lhs and rhs are the same .
fn ensure_sort(lhs: &Expression, rhs: &Expression) -> Result<()> {
        if lhs.bits() != rhs.bits() {
            Err(ErrorKind::Sort.into())
        } else {
            Ok(())
        }
    }
fn ensure_sort ( lhs : & Expression , rhs : & Expression ) -> Result < ( ) > { if lhs . bits ( ) != rhs . bits ( ) { Err ( ErrorKind :: Sort . into ( ) ) } else { Ok ( ( ) ) } }
Ensures the bits of both lhs and rhs are the same.
Ensures the bits of both lhs and rhs are the same .
lhs
&Expression
rhs
&Expression
lhs
&Expression
rhs
&Expression