pub fn temporal_logic_pattern_ty() -> Expr
TemporalLogicPattern: a reusable specification pattern (Dwyer patterns)