Trait Structural

pub unsafe trait Structural { }

derive(Structural) means that exec-mode == and ghost == always yield the same result. derive(Structural) is only allowed when all the fields of a type are also Structural. derive(StructuralEq) means derive(Structural) and also implement PartialEqSpec, setting eq_spec to == and obeys_eq_spec to true.

Implementations on Foreign Types

impl Structural for bool

impl Structural for char

impl Structural for i8

impl Structural for i16

impl Structural for i32

impl Structural for i64

impl Structural for i128

impl Structural for isize

impl Structural for u8

impl Structural for u16

impl Structural for u32

impl Structural for u64

impl Structural for u128

impl Structural for usize

impl<S> Structural for &S

where S: Structural + ?Sized,

impl<T> Structural for Option<T>

where T: Structural,

Implementors

impl Structural for int

impl Structural for nat