Module Domain_manager.Pi

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