package resp-server

  1. Overview
  2. Docs
module type BACKEND = sig ... end

BACKEND defines the minimum needed interface to create a new RESP server

module type AUTH = sig ... end

AUTH defines the interface for authenticating a client

module type SERVER = sig ... end

SERVER defines the interface for a server

module Auth : sig ... end

General authentication modes

module Make (A : AUTH) (D : BACKEND) : SERVER with module Backend = D and module Auth = A

Construct a new SERVER with given authentication mode and backend


Innovation. Community. Security.