doc-src/IsarRef/Thy/HOL_Specific.thy

     ;
 
     target: 'OCaml' | 'SML' | 'Haskell'
     ;
 
-    'code\_datatype' const +
+    'code\_datatype' ( const + )
     ;
 
     'code\_const' (const + 'and') \\
       ( ( '(' target ( syntax ? + 'and' ) ')' ) + )
     ;