Function write_nary_operation_docs 

pub fn write_nary_operation_docs(
    file: &mut File,
    module: &NessaModule,
    op_open: &str,
    op_close: &str,
    t: usize,
    args: &Type,
    ret: &Type,
    annot: &Annotation,
)