Skip to content

sharp define

Norbert Preining edited this page Oct 6, 2017 · 2 revisions

#define <pattern> := <term> .

Defines to be , that is, when appers in term, it is expanded to and then parsed.

Clone this wiki locally