Module EzSession

val debug : bool
module TYPES : sig ... end
module Hash : sig ... end

Hash module, that hashing algorithms.

module type M = sig ... end

Output signature for Make functor

module Make (S : TYPES.SessionArg) : sig ... end

Main functor that produces definition for authentication services and encodings for types used by service's input, output and errors.