Previous  Up  Next

Module Reins.DugProfile


module DugProfile: sig .. end

Charactericists of a DUG
module Make: 
functor (DS : Reins.DugADT.S) -> sig .. end