Files: /_sources/trace/rv/linear_temporal_logic.rst.txt