module DatatypeReason:Datatype.Make(sig
include Datatype.Serializable_undefined
typet =Reason_graph.reason
val name : string
val reprs : Reason_graph.reason listend)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.tDeep copy: no possible sharing between x and copy x.