Module Reins.DugADT

module DugADT: sig .. end


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