pub fn temporal_symbol(op: &TemporalOperator) -> &'static strExpand description
A tense operator: P past, F future or eventually, G always, X next.
pub fn temporal_symbol(op: &TemporalOperator) -> &'static strA tense operator: P past, F future or eventually, G always, X next.