Module type Abstract.Value.External

module type External = sig .. end

include Abstract.Value.Internal
include Abstract.Interface