Module Domain_manager.PiSource

Sourcemodule type MGR = sig ... end
Sourcetype Resource.pi +=
  1. | Mgr : ('t, (module MGR with type t = 't), [> ty ]) Resource.pi
Sourceval mgr : (module MGR with type t = 't) -> ('t, ty) Resource.handler