package org.simantics.scl.compiler.internal.elaboration.constraints;

import org.simantics.scl.compiler.constants.Constant;
import org.simantics.scl.compiler.types.TPred;

class Superconstraint {
    
    public static final Superconstraint[] EMPTY_ARRAY = new Superconstraint[0];
    
    TPred superconstraint;
    Constant generator;
    
    public Superconstraint(TPred superconstraint, Constant generator) {
        this.superconstraint = superconstraint;
        this.generator = generator;
    }
}