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