Struct z3::SortDiffers [−][src]
pub struct SortDiffers<'ctx> { /* fields omitted */ }
Expand description
A struct to represent when two sorts are of different types.
Implementations
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for SortDiffers<'ctx>
impl<'ctx> !Send for SortDiffers<'ctx>
impl<'ctx> !Sync for SortDiffers<'ctx>
impl<'ctx> Unpin for SortDiffers<'ctx>
impl<'ctx> UnwindSafe for SortDiffers<'ctx>