1 package org.simantics.scl.compiler.types.kinds;
3 import org.simantics.scl.compiler.types.util.TypeUnparsingContext;
6 * KArrow represents a type kind that has a domain kind and a range kind.
8 public class KArrow extends Kind {
9 public final Kind domain;
10 public final Kind range;
12 KArrow(Kind domain, Kind range) {
18 protected void toString(TypeUnparsingContext tuc, StringBuilder b) {
19 domain.toStringPar(tuc, b);
21 range.toString(tuc, b);
25 public boolean contains(KMetaVar var) {
26 return domain.contains(var) || range.contains(var);