whenlock.mli \
whenproto_aux.ml \
whenproto_aux.mli \
+ whenstate.ml \
+ whenstate.mli \
+ whentools.ml \
+ whentools.mli \
whenutils.ml \
whenutils.mli
# In alphabetical order.
CMI_FILES = \
config.cmi \
- whenexpr.cmi
+ whenexpr.cmi \
whenfile.cmi \
whenlock.cmi \
whenproto_aux.cmi \
+ whenstate.cmi \
+ whentools.cmi \
whenutils.cmi
# In dependency order.
whenproto_aux.cmo \
whenutils.cmo \
whenexpr.cmo \
+ whenstate.cmo \
whenfile.cmo \
+ whentools.cmo \
whenlock.cmo
# Library.