Previous
Up
Functor
Interval_intf.GenSet
module
GenSet
(
T
:
T_set
)
:
sig
..
end
Parameters:
T
:
T_set
module type
S
=
sig
..
end