package dkim

  1. Overview
  2. Docs

Module Dkim.SigsSource

Sourcemodule type FUNCTOR = sig ... end
Sourcetype (+'a, 't) io
Sourcetype 't state = {
  1. bind : 'a 'b. ('a, 't) io -> ('a -> ('b, 't) io) -> ('b, 't) io;
  2. return : 'a. 'a -> ('a, 't) io;
}
Sourcetype 't both = {
  1. f : 'a 'b. ('a, 't) io -> ('b, 't) io -> ('a * 'b, 't) io;
}
Sourcemodule type X = sig ... end
Sourcemodule Make (T : FUNCTOR) : X with type 'a s = 'a T.t
Sourcemodule type FLOW = sig ... end
Sourcemodule type STREAM = sig ... end
Sourcemodule type DNS = sig ... end