package org.simantics.scl.compiler.elaboration.modules;

import org.simantics.scl.compiler.types.TCon;
import org.simantics.scl.compiler.types.TVar;
import org.simantics.scl.compiler.types.Type;

public class TypeAlias {
    TCon con;
    
    public TVar[] parameters;
    public Type body;
    
    public TypeAlias(TCon con, int arity) {
        this.con = con;
        this.parameters = new TVar[arity];
    }
    
    public TCon getCon() {
        return con;
    }

    public int getArity() {
        return parameters.length;
    }
}