Function write_fun 

fn write_fun(
    output: &mut String,
    prefix: String,
    fun: &Function,
    info: Option<&FunctionInfo>,
    options: &Options,
) -> Result<(), Error>