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