public override void ExitSubspace_def([NotNull] GravisParser.Subspace_defContext context)
{
subspaceStack.Pop();
}
/// <summary>
/// Exit a parse tree produced by <see cref="GravisParser.subspace_def"/>.
/// <para>The default implementation does nothing.</para>
/// </summary>
/// <param name="context">The parse tree.</param>
public virtual void ExitSubspace_def([NotNull] GravisParser.Subspace_defContext context)
{
}