Struct z3::DatatypeVariant

pub struct DatatypeVariant<'ctx> {
    pub constructor: FuncDecl<'ctx>,
    pub tester: FuncDecl<'ctx>,
    pub accessors: Vec<FuncDecl<'ctx>>,
}

Inner variant for a custom datatype sort.

Fields

constructor: FuncDecl<'ctx>

tester: FuncDecl<'ctx>

accessors: Vec<FuncDecl<'ctx>>

Trait Implementations

impl<'ctx> Debug for DatatypeVariant<'ctx>

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

Formats the value using the given formatter.