PREDICATES =
INTERFACE_FILES = \
- unshare.mli \
cicUniv.mli \
+ unshare.mli \
deannotate.mli \
cicParser.mli \
cicUtil.mli \
helmLibraryObjects.mli \
libraryObjects.mli \
- discrimination_tree.mli \
+ cic_indexable.mli \
path_indexing.mli \
cicInspect.mli
IMPLEMENTATION_FILES = \