module ReasonType:Datatype.Make
(
sig
typet =
Reason_graph.reason_type
val name : string
val reprs : Reason_graph.reason_type list
include Datatype.Serializable_undefined
val compare : t -> t -> int
val hash : t -> int
val equal : t -> t -> bool
val pretty : Format.formatter -> Reason_graph.reason_type -> unit
end
)
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x
and copy x
.