module DatatypeReason:Datatype.Make(siginclude Datatype.Serializable_undefinedtypet =Reason_graph.reasonval name :stringval reprs :Reason_graph.reason listend)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.tx and copy x.