module Abstract: functor (T : sig val name : stringend) -> sig .. end
functor (
T
:
sig
val name : string
string
end
) ->
No_abstract_type
sig val name: string end
type t
val ty : t Type.ty
t Type.ty