Struct seer_z3::Symbol

pub struct Symbol<'ctx> { /* 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>