pub unsafe extern "C" fn GetDefinstancesNamePointer(
arg1: *mut Environment,
arg2: *mut Definstances,
) -> *mut CLIPSLexemepub unsafe extern "C" fn GetDefinstancesNamePointer(
arg1: *mut Environment,
arg2: *mut Definstances,
) -> *mut CLIPSLexeme