| { This module exports an operator defined in a non-brief operator | |
| declaration. This means the exported symbol is a pointer to a | |
| function and shall be indirected on the accessing side. } | |
| module Module_7 = | |
| def pub prio MINUS = 9; | |
| pub op (int,int)int MINUS = minus; | |
| proc minus = (int a, b) int: a - b; | |
| skip | |
| fed |