PK_redundant_propagate_t

typedef int PK_redundant_propagate_t;

Used in:

PK_TOPOL_identify_redundant_o_t

This datatype is used to indicate whether the property of redundancy is
to be propagated. It has two values:

PK_redundant_propagate_no_c  :  do not propagate redundancy

PK_redundant_propagate_yes_c :  propagate redundancy