Functor Type.Abstract

module Abstract: 
functor (T : sig
val name : string
end-> sig .. end

Apply this functor to access to the abstract type of the given name.

Parameters:
T : sig val name: string end

type t 
val ty : t Type.ty