Function synthesize_example 

pub fn synthesize_example(
    name: &str,
    params: &[TypedParam],
    return_type: Option<&TypeExpr>,
) -> String

Synthesize a usage example from a function signature, for symbols whose docs carry no hand-written @example. LSP hover and harn graph --json present the result labeled as derived.