functor (H : Hash.S) ->
  sig
    val sign :
      ?g:Nocrypto.Rng.g ->
      ?slen:int -> key:Nocrypto.Rsa.priv -> Cstruct.t -> Cstruct.t
    val verify :
      ?slen:int ->
      key:Nocrypto.Rsa.pub -> signature:Cstruct.t -> Cstruct.t -> bool
  end