Module Fs.PiSource

Sourcemodule type DIR = sig ... end
Sourcetype Resource.pi +=
  1. | Dir : ('t, (module DIR with type t = 't), [> dir_ty ]) Resource.pi