//
// Copyright (C) 2009 The University of Melbourne.
// This file may only be copied under the terms of the GNU Library General
// Public License - see the file COPYING.LIB in the Mercury distribution.
//
// This interface is implemented by all classes generated by the Java back-end
// which correspond to Mercury-defined types.
//

package jmercury.runtime;

public interface MercuryType extends java.io.Serializable {
}
