Previous  Up  Next

Module Reins.DugADT


module DugADT: sig .. end

Abstract signature for ADTs => DUG extraction
module type S = sig .. end