PROMELA_LTYPE Struct Reference

Public Attributes
int	first_column
int	first_line
int	last_column
int	last_line

---

The documentation for this struct was generated from the following file:

• plugins/datamodel/promela/parser/promela.tab.hpp