1structure LVTermNetFunctorApplied = 2struct 3 4structure PMDataSet = struct 5 type value = int 6 type t = value HOLset.set 7 val empty = HOLset.empty Int.compare 8 val insert = HOLset.add 9 val fold = HOLset.foldl 10 val listItems = HOLset.listItems 11 fun filter P s = 12 fold (fn (v,a) => if P v then insert(a,v) else a) 13 empty 14 s 15 val numItems = HOLset.numItems 16end 17 18structure PrintMap = LVTermNetFunctor(PMDataSet) 19 20end 21