Implement more generic functor parsing/printing
Showing
- src/lib/CoAlgMisc.ml 34 additions, 0 deletionssrc/lib/CoAlgMisc.ml
- src/lib/CoAlgMisc.mli 4 additions, 0 deletionssrc/lib/CoAlgMisc.mli
- src/lib/FunctorParsing.ml 7 additions, 0 deletionssrc/lib/FunctorParsing.ml
- src/testsuite/cool-testsuite.ml 3 additions, 0 deletionssrc/testsuite/cool-testsuite.ml
Loading
Please register or sign in to comment