5 lines
167 B
Python
5 lines
167 B
Python
# flake8: noqa
|
|
from mtl.ast import TOP, BOT
|
|
from mtl.ast import (Interval, And, G, Neg,
|
|
AtomicPred, WeakUntil, Next)
|
|
from mtl.parser import parse
|