constant.bnf 812 Bytes
 Jean-Christophe Filliatre committed Dec 15, 2010 1 \begin{syntax}  Andrei Paskevich committed May 30, 2018 2  digit ::= "0" - "9"  Jean-Christophe Filliatre committed Dec 15, 2010 3  \  Andrei Paskevich committed May 30, 2018 4  hex-digit ::= "0" - "9" | "a" - "f" | "A" - "F"  Jean-Christophe Filliatre committed Dec 15, 2010 5  \  Andrei Paskevich committed May 30, 2018 6  oct-digit ::= "0" - "7"  Jean-Christophe Filliatre committed Dec 15, 2010 7  \  Andrei Paskevich committed May 30, 2018 8  bin-digit ::= "0" | "1"  Jean-Christophe Filliatre committed Dec 15, 2010 9  \  Andrei Paskevich committed May 30, 2018 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25  integer ::= digit (digit | "_")* ; | ("0x" | "0X") hex-digit (hex-digit | "_")* ; | ("0o" | "0O") oct-digit (oct-digit | "_")* ; | ("0b" | "0B") bin-digit (bin-digit | "_")* ; \ real ::= digit+ exponent ; | digit+ "." digit* exponent? ; | digit* "." digit+ exponent? ; | ("0x" | "0X") hex-digit+ h-exponent ; | ("0x" | "0X") hex-digit+ "." hex-digit* h-exponent? ; | ("0x" | "0X") hex-digit* "." hex-digit+ h-exponent? ; \ exponent ::= ("e" | "E") ("-" | "+")? digit+ \ h-exponent ::= ("p" | "P") ("-" | "+")? digit+ % \end{syntax}