/* skein_rules(1) and skein_rules(2) */
/* These rules form the "retrieve" relation for the refinement of Skein_512_Context */
/* from a limited private to a concrete type                                        */

skein_rules(1): byte_count_of(C)   may_be_replaced_by fld_byte_count(fld_h(C)) if
	                                [goal(checktype(C,skein_512_context))] .
skein_rules(2): hash_bit_len_of(C) may_be_replaced_by fld_hash_bit_len(fld_h(C)) if
	                                [goal(checktype(C,skein_512_context))] .


