use z3_sys;

pub struct Sort {
    pub(crate) sort: z3_sys::Z3_sort,
}