[region] add some useful API calls
Showing
- src/plugins/region/Region.ml 35 additions, 0 deletionssrc/plugins/region/Region.ml
- src/plugins/region/Region.mli 23 additions, 0 deletionssrc/plugins/region/Region.mli
- src/plugins/region/dune 1 addition, 1 deletionsrc/plugins/region/dune
- src/plugins/region/memory.mli 2 additions, 0 deletionssrc/plugins/region/memory.mli
Loading
Please register or sign in to comment