Enum z3::DatatypeAccessor [−][src]
Expand description
Wrapper which can point to a sort (by value) or to a custom datatype (by name).
Variants
Sort(Sort<'ctx>)
Datatype(Symbol)
Trait Implementations
Auto Trait Implementations
impl<'ctx> RefUnwindSafe for DatatypeAccessor<'ctx>
impl<'ctx> !Send for DatatypeAccessor<'ctx>
impl<'ctx> !Sync for DatatypeAccessor<'ctx>
impl<'ctx> Unpin for DatatypeAccessor<'ctx>
impl<'ctx> UnwindSafe for DatatypeAccessor<'ctx>