Commit 671522f0 authored by POTTIER Francois's avatar POTTIER Francois


parent 2a4d9c9e
......@@ -138,7 +138,7 @@ and parameters =
(* ------------------------------------------------------------------------ *)
(* A producer is a pair of identifier and a parameter. In concrete syntax,
it could be [e = expr], for instance. *)
it could be [e = expr], for instance. It carries a number of attributes. *)
and producer =
identifier Positions.located * parameter * attributes
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment