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