Module Reins.DugADT


module DugADT: sig .. end


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