Searched refs:ltl_atom (Results 1 – 1 of 1) sorted by relevance
14 enum ltl_atom { enum21 static const char *ltl_atom_str(enum ltl_atom atom) in ltl_atom_str()