Record Class QuantifiedExprContext<ExprSingleCtx extends org.antlr.v4.runtime.ParserRuleContext,VarBindingCtx extends org.antlr.v4.runtime.ParserRuleContext,SeqTypeCtx extends org.antlr.v4.runtime.ParserRuleContext>

java.lang.Object
java.lang.Record
org.rumbledb.compiler.context.QuantifiedExprContext<ExprSingleCtx,VarBindingCtx,SeqTypeCtx>

public record QuantifiedExprContext<ExprSingleCtx extends org.antlr.v4.runtime.ParserRuleContext,VarBindingCtx extends org.antlr.v4.runtime.ParserRuleContext,SeqTypeCtx extends org.antlr.v4.runtime.ParserRuleContext>(boolean isUniversal, List<QuantifiedExprContext.Var<ExprSingleCtx extends org.antlr.v4.runtime.ParserRuleContext,VarBindingCtx extends org.antlr.v4.runtime.ParserRuleContext,SeqTypeCtx extends org.antlr.v4.runtime.ParserRuleContext>> vars, ExprSingleCtx extends org.antlr.v4.runtime.ParserRuleContext exprSingle, org.antlr.v4.runtime.ParserRuleContext context) extends Record