Subsumption.java

   1 package org.simantics.scl.compiler.internal.elaboration.subsumption;\r
   2 \r
   3 import org.simantics.scl.compiler.types.Type;\r
   4 \r
   5 public class Subsumption {\r
   6     public long loc;\r
   7     public Type a;\r
   8     public Type b;\r
   9     \r
  10     public Subsumption(long loc, Type a, Type b) {\r
  11         this.loc = loc;\r
  12         this.a = a;\r
  13         this.b = b;\r
  14     }\r
  15 }