Struct z3::DatatypeVariant [−][src]
pub struct DatatypeVariant<'ctx> { pub constructor: FuncDecl<'ctx>, pub tester: FuncDecl<'ctx>, pub accessors: Vec<FuncDecl<'ctx>>, }
Expand description
Inner variant for a custom datatype sort.
Fields
constructor: FuncDecl<'ctx>
tester: FuncDecl<'ctx>
accessors: Vec<FuncDecl<'ctx>>
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for DatatypeVariant<'ctx>
impl<'ctx> !Send for DatatypeVariant<'ctx>
impl<'ctx> !Sync for DatatypeVariant<'ctx>
impl<'ctx> Unpin for DatatypeVariant<'ctx>
impl<'ctx> UnwindSafe for DatatypeVariant<'ctx>