specless.specification.timed\_partial\_order.fixed\_time\_gap ============================================================= .. currentmodule:: specless.specification.timed_partial_order .. autofunction:: fixed_time_gap