[wp] move simplifier type to Lang
Showing
- src/plugins/wp/Cint.mli 2 additions, 2 deletionssrc/plugins/wp/Cint.mli
- src/plugins/wp/Conditions.ml 0 additions, 17 deletionssrc/plugins/wp/Conditions.ml
- src/plugins/wp/Conditions.mli 1 addition, 27 deletionssrc/plugins/wp/Conditions.mli
- src/plugins/wp/Lang.ml 21 additions, 0 deletionssrc/plugins/wp/Lang.ml
- src/plugins/wp/Lang.mli 29 additions, 0 deletionssrc/plugins/wp/Lang.mli
Loading
Please register or sign in to comment