#import "@preview/fletcher:0.5.8" as fletcher: diagram, edge, node

#diagram(
  cell-size: 15mm,
  $
                  G edge(f, ->) edge("d", pi, ->>) & im(f) \
    G slash ker(f) edge("ur", tilde(f), "hook-->")
  $,
)

#import "@preview/codly:2.0.0" as codly
#show raw.where(block: true): codly.new

```rs
pub fn greeting(name: &str) -> String {
    format!("Hello, {name}!")
}
```