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