Module Alternating_primary_backup_assignment = Alternating_primary_backup_assignment

type 'a t = {

primary	: 'a	;
backup	: 'a	;

}