PK_DEBUG_global_res_t

typedef int PK_DEBUG_global_res_t;

Used in:

PK_DEBUG_BODY_compare_r_t

This datatype specifies whether any global differences have been found
when comparing two bodies.

    PK_DEBUG_global_res_diffs_c         global differences found
    PK_DEBUG_global_res_no_diffs_c      no global differences