Struct z3::Symbol

pub struct Symbol<'ctx> {
    // some fields omitted
}

Methods

impl<'ctx> Symbol<'ctx>

fn from_int(ctx: &Context, i: u32) -> Symbol

fn from_string(ctx: &'ctx Context, s: &str) -> Symbol<'ctx>