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

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

public class Subsumption {
    public long loc;
    public Type a;
    public Type b;
    
    public Subsumption(long loc, Type a, Type b) {
        this.loc = loc;
        this.a = a;
        this.b = b;
    }
}