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