Module CondDD.DHashCond


module DHashCond: DHashhe.S  with module HashX=HashCond
			      and module HashY=HashheIB