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: macroval joe = fred; 5: fun f: int -> int ="f($1)"requires joe; 6: 7: print$ f 2; endl; 8: