{ 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