Type.Abstract
Apply this functor to access to the abstract type of the given name.
if no such abstract type was registered.
Plug-in Development Guide
module _ : sig ... end
type t
val ty : t ty