compare_slice

Function compare_slice 

Source
pub exec fn compare_slice<'a, 'b>(x: &'a [u8], y: &'a [u8]) -> res : bool
Expand description
ensures
res == (x@ =~= y@),

Helper function to compare two slices.