A DIRECTORY /usr/local/lib/felix/felix-2016.01.04-rc2/share/src/compiler/flx_frontend
  home
 Files: 
  flx_axiom.ml   .mli
  flx_call.ml   .mli
  flx_inst.ml   .mli
  flx_label.ml   .mli
  flx_mkcls.ml   .mli
  flx_mkcls2.ml
  flx_numono.ml
  flx_prop.ml   .mli
  flx_reachability.ml
  flx_reparent.ml   .mli
  flx_spexes.ml   .mli
  flx_treg.ml
  flx_typeclass.ml
  flx_use.ml   .mli