Function write_function 

fn write_function<'db>(
    f: &mut HirFormatter<'_, 'db>,
    func_id: FunctionId,
) -> Result<bool>