From c0b1dfd5ec3b1ac49e06cd130a1d2d457e7f6346 Mon Sep 17 00:00:00 2001
From: Marcell Vazquez-Chanlatte <mvc@linux.com>
Date: Wed, 19 Dec 2018 11:27:38 -0800
Subject: [PATCH] added Node typevar

---
 assets/logo_text.svg |  5 ++++-
 mtl/ast.py           | 17 ++++++++++-------
 2 files changed, 14 insertions(+), 8 deletions(-)

diff --git a/assets/logo_text.svg b/assets/logo_text.svg
index 1b0fe5e..c7fc9f3 100644
--- a/assets/logo_text.svg
+++ b/assets/logo_text.svg
@@ -15,7 +15,10 @@
    version="1.1"
    id="svg8"
    inkscape:version="0.92.3 (2405546, 2018-03-11)"
-   sodipodi:docname="logo_text.svg">
+   sodipodi:docname="logo_text.svg"
+   inkscape:export-filename="/home/mvc/work/research/py-stl/assets/logo.png"
+   inkscape:export-xdpi="99.997803"
+   inkscape:export-ydpi="99.997803">
   <defs
      id="defs2">
     <marker
diff --git a/mtl/ast.py b/mtl/ast.py
index 8550837..93c13d9 100644
--- a/mtl/ast.py
+++ b/mtl/ast.py
@@ -1,6 +1,6 @@
 # -*- coding: utf-8 -*-
 from collections import deque
-from typing import Union, NamedTuple
+from typing import Union, NamedTuple, TypeVar
 
 import attr
 import funcy as fn
@@ -9,6 +9,9 @@ from lenses import bind
 from mtl import sugar
 
 
+Node = TypeVar("Node")
+
+
 def flatten_binary(phi, op, dropT, shortT):
     def f(x):
         return x.args if isinstance(x, op) else [x]
@@ -173,7 +176,7 @@ class Interval(NamedTuple):
 @ast_class
 class NaryOpMTL:
     OP = "?"
-    args: "Node"  # TODO: when 3.7 is more common replace with type union.
+    args: Node  # TODO: when 3.7 is more common replace with type union.
 
     def __repr__(self):
         return "(" + f" {self.OP} ".join(f"{x}" for x in self.args) + ")"
@@ -191,7 +194,7 @@ class And(NaryOpMTL):
 class ModalOp:
     OP = '?'
     interval: Interval
-    arg: "Node"
+    arg: Node
 
     def __repr__(self):
         if self.interval.lower == 0 and self.interval.upper == float('inf'):
@@ -209,8 +212,8 @@ class G(ModalOp):
 
 @ast_class
 class WeakUntil:
-    arg1: "Node"
-    arg2: "Node"
+    arg1: Node
+    arg2: Node
 
     def __repr__(self):
         return f"({self.arg1} W {self.arg2})"
@@ -222,7 +225,7 @@ class WeakUntil:
 
 @ast_class
 class Neg:
-    arg: "Node"
+    arg: Node
 
     def __repr__(self):
         return f"~{self.arg}"
@@ -234,7 +237,7 @@ class Neg:
 
 @ast_class
 class Next:
-    arg: "Node"
+    arg: Node
 
     def __repr__(self):
         return f"X{self.arg}"