aboutsummaryrefslogtreecommitdiff
path: root/plugins/syntax
ModeNameSize
-rw-r--r--dune738logplain
-rw-r--r--float_syntax.ml4019logplain
-rw-r--r--float_syntax_plugin.mlpack13logplain
-rw-r--r--g_numeral.mlg3611logplain
-rw-r--r--g_string.mlg1055logplain
-rw-r--r--int63_syntax.ml2154logplain
-rw-r--r--int63_syntax_plugin.mlpack13logplain
-rw-r--r--numeral.ml20413logplain
-rw-r--r--numeral.mli1136logplain
-rw-r--r--numeral_notation_plugin.mlpack18logplain
-rw-r--r--string_notation.ml3737logplain
-rw-r--r--string_notation.mli900logplain
-rw-r--r--string_notation_plugin.mlpack25logplain