// Path: src/main/java/com/github/kmizu/yapp/Ast.java
// public static abstract class Expression extends Node {
//   public Expression(Position pos){
//     super(pos);
//   }
// }


import com.github.kmizu.yapp.Symbol;
import com.github.kmizu.yapp.Ast.Expression;
package com.github.kmizu.yapp.translator;


public class UnboundedContext {
  public final Symbol parent;
// Path: src/main/java/com/github/kmizu/yapp/Ast.java
// public static abstract class Expression extends Node {
//   public Expression(Position pos){
//     super(pos);
//   }
// }


// Path: src/main/java/com/github/kmizu/yapp/translator/UnboundedContext.java
import com.github.kmizu.yapp.Symbol;
import com.github.kmizu.yapp.Ast.Expression;

package com.github.kmizu.yapp.translator;


public class UnboundedContext {
  public final Symbol parent;
  public final Expression unboundedExpression;