OR the higher function OR the higher-level function OR the higher-order module function

nadrzedny= also: of higher rank
also: main, parent, master

"... Synopsys Module Compiler includes a rich set of functions and operators. In addition,
higher level function libraries are available as options. These libraries ... "
www.synopsys.com/products/datapath/module_comp_ds.html

"... In our module language the higher order module function apply is defined as: interface
S = sig type t end module apply = fun f: all x : S = some m : .... ... "
citeseer.nj.nec.com/context/297295/0