Module type Datatype.Polymorphic

module type Polymorphic = sig .. end
Output signature of Datatype.Polymorphic.

include Type.Polymorphic
module Make: 
functor (T : Datatype.S-> Datatype.S with type t = T.t poly
Create a datatype for a monomorphic instance of the polymorphic type.