SortOfUnification.cs

Go to the documentation of this file.

// -------------------------------------------------------------------------- 
// File: SortOfUnification.cs
// Author:  Francisco Ortin - francisco.ortin@gmail.com                       
// Description:                                                               
//    Differen kinds of unification algorithms. 
// -------------------------------------------------------------------------- 
// Create date: 03-05-2007                                                    
// Modification date: 03-05-2007                                              

namespace TypeSystem {
    public enum SortOfUnification {
        Equivalent,

        Incremental,

        Override
    }
}