Searched defs:fold_right_globals (Results 1 – 2 of 2) sorted by relevance
772 let fold_right_globals f m init = global() function
1349 val fold_right_globals : (llvalue -> 'a -> 'a) -> llmodule -> 'a -> 'a global() val