pub unsafe extern "C" fn BinarySaveFactsDriver(
arg1: *mut Environment,
arg2: *const c_char,
arg3: SaveScope,
arg4: *mut Expression,
) -> c_longpub unsafe extern "C" fn BinarySaveFactsDriver(
arg1: *mut Environment,
arg2: *const c_char,
arg3: SaveScope,
arg4: *mut Expression,
) -> c_long