module Set: functor (S : Set.S) -> functor (G : Gen with type g = S.elt) -> sig .. end
functor (
S
:
Set.S
) ->
G
Gen
with type g = S.elt
sig
end
Set.S.t
Gen with type g = S.elt
val gen : int Generator.t -> S.t Generator.t
int Generator.t -> S.t Generator.t
gen i
G.g
i