.. index:: lpsinfo

.. _tool-lpsinfo:

lpsinfo
=======

Print basic information on a linear process specification (LPS). By default,
the following information about the LPS is shown:

* number of summands
* number of tau-summands
* number of free variables
* number of process parameters
* number of action labels
* number of used versus the number of declared actions
* number of sorts


.. include:: man/lpsinfo.rst