Pi (u.cdac2ef0dff46ea62f9c9fd765bfa8a1.eio.1.3.doc.eio.Eio.Process.Pi)

Sourcemodule type PROCESS = sig ... end

Sourcetype Resource.pi +=

| 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

Sourcemodule type MGR = sig ... end

Sourcetype Resource.pi +=

| 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