Struct z3::DatatypeSort [−][src]
pub struct DatatypeSort<'ctx> { pub sort: Sort<'ctx>, pub variants: Vec<DatatypeVariant<'ctx>>, // some fields omitted }
Expand description
A custom datatype sort.
Fields
sort: Sort<'ctx>
variants: Vec<DatatypeVariant<'ctx>>
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for DatatypeSort<'ctx>
impl<'ctx> !Send for DatatypeSort<'ctx>
impl<'ctx> !Sync for DatatypeSort<'ctx>
impl<'ctx> Unpin for DatatypeSort<'ctx>
impl<'ctx> UnwindSafe for DatatypeSort<'ctx>