TypesystemDescriptor.java

package testSubtypingB.typesystem;

/*Generated by MPS */

import jetbrains.mps.lang.typesystem.runtime.BaseHelginsDescriptor;
import jetbrains.mps.lang.typesystem.runtime.InequationReplacementRule_Runtime;

public class TypesystemDescriptor extends BaseHelginsDescriptor {
  public TypesystemDescriptor() {
    {
      InequationReplacementRule_Runtime eliminationRule = new customType_InequationReplacementRule();
      this.myInequationReplacementRules.add(eliminationRule);
    }
    {
      InequationReplacementRule_Runtime eliminationRule = new wrapped_customType_InequationReplacementRule();
      this.myInequationReplacementRules.add(eliminationRule);
    }
  }
}