pub unsafe extern "C" fn CDataStoreConnection_clearRulesAxiomsExplicateFacts(
dataStoreConnection: *mut CDataStoreConnection
) -> *const CException
pub unsafe extern "C" fn CDataStoreConnection_clearRulesAxiomsExplicateFacts(
dataStoreConnection: *mut CDataStoreConnection
) -> *const CException