Struct z3::DatatypeSort

pub struct DatatypeSort<'ctx> {
    pub sort: Sort<'ctx>,
    pub variants: Vec<DatatypeVariant<'ctx>>,
    // some fields omitted
}

A custom datatype sort.

Fields

sort: Sort<'ctx>

variants: Vec<DatatypeVariant<'ctx>>

Trait Implementations

impl<'ctx> Debug for DatatypeSort<'ctx>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.