Enum z3::DatatypeAccessor [−][src]
Expand description
Wrapper which can point to a sort (by value) or to a custom datatype (by name).
Variants
Tuple Fields of Sort
0: Sort<'ctx>
Tuple Fields of Datatype
0: Symbol
Wrapper which can point to a sort (by value) or to a custom datatype (by name).
0: Sort<'ctx>
0: Symbol