/plugins/syntax/

• ../
• g_numeral.mlg
• g_string.mlg
• int63_syntax.ml
• int63_syntax_plugin.mlpack
• numeral.ml
• numeral.mli
• numeral_notation_plugin.mlpack
• plugin_base.dune
• r_syntax.ml
• r_syntax.mli
• r_syntax_plugin.mlpack
• string_notation.ml
• string_notation.mli
• string_notation_plugin.mlpack