aboutsummaryrefslogtreecommitdiffhomepage
path: root/plugins/syntax
ModeNameSize
-rw-r--r--ascii_syntax.ml3160logplain
-rw-r--r--ascii_syntax_plugin.mlpack13logplain
-rw-r--r--int31_syntax.ml3504logplain
-rw-r--r--int31_syntax_plugin.mlpack13logplain
-rw-r--r--nat_syntax.ml2900logplain
-rw-r--r--nat_syntax_plugin.mlpack11logplain
-rw-r--r--r_syntax.ml5310logplain
-rw-r--r--r_syntax_plugin.mlpack9logplain
-rw-r--r--string_syntax.ml2547logplain
-rw-r--r--string_syntax_plugin.mlpack14logplain
-rw-r--r--z_syntax.ml7199logplain
-rw-r--r--z_syntax_plugin.mlpack9logplain