package eio

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