module Quadruple: functor (
T1
:
S
) ->
functor (
T2
:
S
) ->
functor (
T3
:
S
) ->
functor (
T4
:
S
) ->
S
with type t = T1.t * T2.t * T3.t * T4.t
Since Nitrogen-20111001
Parameters: |
T1 |
: |
S
|
T2 |
: |
S
|
T3 |
: |
S
|
T4 |
: |
S
|
|
include Datatype.S_no_copy
val copy : Datatype.t -> Datatype.t
Deep copy: no possible sharing between x
and copy x
.