Struct z3::SortDiffers [−][src]
pub struct SortDiffers<'ctx> { /* fields omitted */ }
Expand description
A struct to represent when two sorts are of different types.
pub struct SortDiffers<'ctx> { /* fields omitted */ }
A struct to represent when two sorts are of different types.