module Function: functor (T1 : siginclude Datatype.S val label : (string * (unit -> Datatype.t) option) optionend) -> functor (T2 : S) -> S with type t = T1.t -> T2.t
functor (
T1
:
sig
include Datatype.S
val label : (string * (unit -> Datatype.t) option) option
(string * (unit -> Datatype.t) option) option
end) -> functor (T2 : S) -> S with type t = T1.t -> T2.t
end
) ->
T2
S
with type t = T1.t -> T2.t
sig include S val label: (string * (unit -> t) option) option end
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Datatype.t -> Datatype.t
x
copy x