Indexing
Author: Frank Pfenning

Simple implementation in ML to illustrate the basic ideas.

All of these store only linear terms and are thus not perfect
filters.

term.sml  --- representation of terms used for the index.
set.sml   --- ordered sets (these are the entries of the index tree)

index.sig --- interface to index implementations

path.sml  --- path indexing
disc.sml  --- discrimination tree indexing
