pub unsafe extern "C" fn SetDefinstancesPPForm(
arg1: *mut Environment,
arg2: *mut Definstances,
arg3: *const c_char,
)pub unsafe extern "C" fn SetDefinstancesPPForm(
arg1: *mut Environment,
arg2: *mut Definstances,
arg3: *const c_char,
)