2.1.3. Macro variables in requirements

Named requirements in requirements clauses are macro expanded as expressions: they must be qualified names though.
Start felix section to tut/examples/mac123a.flx[1 /1 ]
     1: #line 236 "./lpsrc/flx_tut_macro.pak"
     2: #import <flx.flxh>
     3: header fred = "inline int f(int x){return x;}";
     4: macro val joe = fred;
     5: fun f: int -> int = "f($1)" requires joe;
     6: 
     7: print$ f 2; endl;
     8: 
End felix section to tut/examples/mac123a.flx[1]