module Abstract: functor (T : sig val name : stringend) -> sig .. end
functor (
T
:
sig
val name : string
string
end) -> sig .. end
end
) ->
Apply this functor to access to the abstract type of the given name.
No_abstract_type
sig val name: string end
type t
val ty : t Type.ty
t Type.ty