The proof shows that any functor which is a left adjoint is right exact.
该证明指出,任一函子,如果是一个左伴随,就右正合.
A function or functor, as usual, may be attached to the symbol table.
通常, 可以将一个函数或仿函数附加至符号表.
Such nested comments are parseable through parsers generated by the comment _ nest _ p generator template functor.
这样的嵌套注释可以用生成器模板仿函数comment_nest_p所生成的分析器分析.