Functor Reins.DugGenerator.Make

module Make: functor (DS : Reins.DugADT.S) -> functor (A : Reins.Types.Mono.ArbitraryComparable) -> sig .. end

Parameters:

`DS`	:	`Reins.DugADT.S`
`A`	:	`Reins.Types.Mono.ArbitraryComparable`

val generate : DugProfile.Make(DS).t ->
       int ->
       ((A.t, Dug.Id.t) DS.generator, (A.t, Dug.Id.t) DS.mutator,
        (A.t, Dug.Id.t) DS.observer)
       Reins.Dug.t