Searched refs:OpenParen (Results 1 – 15 of 15) sorted by relevance
| /plugin/mizarverifiabledocs/src/ |
| H A D | mizar.grammar | 30 OpenParen expression CloseParen |
143 OpenParen { "(" }
157 OpenParen,
|
| H A D | mizar-parser.terms.js | 10 OpenParen = 8, constant
|
| H A D | highlight.js | 11 OpenParen: t.paren, // 開き括弧 property
|
| /plugin/dirtylittlehelper/mermaid/editor/docs/ |
| D | editor.worker.js.map | 1 …OpenParen */]: '%28',\n [41 /* CloseParen */]: '%29',\n [42 /* Asterisk */]: '%2A',\n [43…
|
| D | json.worker.js.map | 1 …OpenParen */]: '%28',\n [41 /* CloseParen */]: '%29',\n [42 /* Asterisk */]: '%2A',\n [43…
|
| D | 4.4.js.map | 1 …rsand */] = '%26',\n _a[39 /* SingleQuote */] = '%27',\n _a[40 /* OpenParen */] = '%28',\n …
|
| D | 3.3.js.map | 1 …rsand */] = '%26',\n _a[39 /* SingleQuote */] = '%27',\n _a[40 /* OpenParen */] = '%28',\n …
|
| D | 2.2.js.map | 1 …rsand */] = '%26',\n _a[39 /* SingleQuote */] = '%27',\n _a[40 /* OpenParen */] = '%28',\n …
|
| D | bundle.js.map | 1 …OpenParen */]: '%28',\n [41 /* CloseParen */]: '%29',\n [42 /* Asterisk */]: '%2A',\n [43…
|
| /plugin/mizarveifiabledocs/dist/ |
| D | script.js | 1 …tityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comment:rW.lineComment,OpenParen:rW.paren,ClosePa… property
|
| D | script.js.map | 1 …OpenParen: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).paren,\n CloseParen: (0, $f0075d67137…
|
| /plugin/mizarproofchecker/dist/ |
| D | script.js | 1 …tityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comment:rW.lineComment,OpenParen:rW.paren,ClosePa… property
|
| D | script.js.map | 1 …OpenParen: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).paren,\n CloseParen: (0, $f0075d67137…
|
| /plugin/mizarverifiabledocs/dist/ |
| H A D | script.js | 1 …tityNameType:rW.typeName,ReasoningPhrase:rW.meta,Comment:rW.lineComment,OpenParen:rW.paren,ClosePa… property
|
| H A D | script.js.map | 1 …OpenParen: (0, $f0075d67137b7b29$export$8b7a896ae75accbf).paren,\n CloseParen: (0, $f0075d67137…
|