functor (H : Hash.S) ->
  sig val generate : key:Nocrypto.Dsa.priv -> Cstruct.t -> Z.t end