Module type Abstract_value.External

module type External = sig .. end

include Abstract_value.S
include Structure.External