Function boolector_sys::boolector_const

pub unsafe extern "C" fn boolector_const(
    btor: *mut Btor, 
    bits: *const c_char
) -> *mut BoolectorNode