Ltac2_plugin.Tac2extravals
This module declares the parsing, intern and interp functions for various builtin expressions (constr quotations, syntactic classses, etc)