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: