verus_prettyplease 0.0.0-2026-04-12-0118

A minimal `syn` syntax tree pretty-printer adapted for Verus
Documentation 
1
2
3
4
5
6
7
8
9

use crate::algorithm::Printer;
use verus_syn::Lifetime;

impl Printer {
    pub fn lifetime(&mut self, lifetime: &Lifetime) {
        self.word("'");
        self.ident(&lifetime.ident);
    }
}