pub fn to_string<F>(ann: &dyn PpAnn, f: F) -> Stringwhere
    F: FnOnce(&mut State<'_>),