upper_bound_tai
===============

.. currentmodule:: pystare.temporal

.. autofunction:: upper_bound_tai