sig module Make : functor (H : Hash.S-> S.Generator end