Function Undefinstances

Source
pub unsafe extern "C" fn Undefinstances(
    arg1: *mut Definstances,
    arg2: *mut Environment,
) -> bool