[Util] Change the interface for the Map built by stdlib, in order to compare extmap and intmap
Showing
- src/core/decl.mli 8 additions, 4 deletionssrc/core/decl.mli
- src/core/ident.ml 1 addition, 1 deletionsrc/core/ident.ml
- src/core/ident.mli 8 additions, 6 deletionssrc/core/ident.mli
- src/core/term.mli 12 additions, 6 deletionssrc/core/term.mli
- src/core/theory.mli 8 additions, 4 deletionssrc/core/theory.mli
- src/core/ty.mli 12 additions, 7 deletionssrc/core/ty.mli
- src/driver/whyconf.mli 5 additions, 3 deletionssrc/driver/whyconf.mli
- src/session/session.mli 5 additions, 3 deletionssrc/session/session.mli
- src/util/extset.ml 20 additions, 1 deletionsrc/util/extset.ml
- src/util/extset.mli 11 additions, 1 deletionsrc/util/extset.mli
- src/util/intmap.ml 3 additions, 3 deletionssrc/util/intmap.ml
- src/util/map_intf.ml 28 additions, 1 deletionsrc/util/map_intf.ml
- src/util/stdlib.ml 7 additions, 1 deletionsrc/util/stdlib.ml
- src/util/stdlib.mli 16 additions, 11 deletionssrc/util/stdlib.mli
- src/whyml/mlw_expr.mli 4 additions, 2 deletionssrc/whyml/mlw_expr.mli
- src/whyml/mlw_ty.ml 4 additions, 2 deletionssrc/whyml/mlw_ty.ml
- src/whyml/mlw_ty.mli 20 additions, 10 deletionssrc/whyml/mlw_ty.mli
Loading
Please register or sign in to comment