+ <Pattern>
+ <PPrefix><CONST>cic</CONST></PPrefix>
+ <PBody>
+ <SLASH/>
+ <CONST>Coq</CONST>
+ <SLASH/>
+ <CONST>Init</CONST>
+ <SLASH/>
+ <CONST>Logic</CONST>
+ <SLASH/>
+ <CONST>Equality</CONST>
+ <SLASH/>
+ <CONST>eq</CONST>
+ </PBody>
+ <Ext><CONST>ind</CONST></Ext>
+ </Pattern>