package eio

  1. Overview
  2. Docs

Provider Interface

module type PROCESS = sig ... end
type Resource.pi +=
  1. | Process : ('t, (module PROCESS with type t = 't and type tag = 'tag), [> 'tag ty ]) Resource.pi
val process : (module PROCESS with type t = 't and type tag = 'tag) -> ('t, 'tag ty) Resource.handler
module type MGR = sig ... end
type Resource.pi +=
  1. | Mgr : ('t, (module MGR with type t = 't and type tag = 'tag), [> 'tag mgr_ty ]) Resource.pi
val mgr : (module MGR with type t = 't and type tag = 'tag) -> ('t, 'tag mgr_ty) Resource.handler