module Function:functor (
T1
:
sig
include Datatype.S
val label :(string * (unit -> Datatype.t) option) option
end
) ->
Parameters: |
|
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x
and copy x
.