pub unsafe extern "C" fn FindDefinstancesInModule(
arg1: *mut Environment,
arg2: *const c_char,
) -> *mut Definstancespub unsafe extern "C" fn FindDefinstancesInModule(
arg1: *mut Environment,
arg2: *const c_char,
) -> *mut Definstances