coq constant

CodeLanguage const coq

Coq.

Implementation

static const CodeLanguage coq = l_coq.coq;