Function btor2tools_sys::btor2parser_error
source · pub unsafe extern "C" fn btor2parser_error(
arg1: *mut Btor2Parser
) -> *const c_char
pub unsafe extern "C" fn btor2parser_error(
arg1: *mut Btor2Parser
) -> *const c_char