-
- Downloads
Change the STORE API by using mutable stores that may support [copy].
Showing
- src/Store.ml 29 additions, 11 deletionssrc/Store.ml
- src/StoreMap.ml 11 additions, 12 deletionssrc/StoreMap.ml
- src/StoreMap.mli 6 additions, 5 deletionssrc/StoreMap.mli
- src/StoreRef.ml 8 additions, 4 deletionssrc/StoreRef.ml
- src/StoreRef.mli 1 addition, 1 deletionsrc/StoreRef.mli
- src/StoreTransactionalRef.ml 13 additions, 10 deletionssrc/StoreTransactionalRef.ml
- src/StoreTransactionalRef.mli 1 addition, 1 deletionsrc/StoreTransactionalRef.mli
- src/StoreVector.ml 12 additions, 9 deletionssrc/StoreVector.ml
- src/StoreVector.mli 2 additions, 1 deletionsrc/StoreVector.mli
- src/UnionFindOverStore.ml 44 additions, 60 deletionssrc/UnionFindOverStore.ml
- src/UnionFindOverStore.mli 6 additions, 6 deletionssrc/UnionFindOverStore.mli
- src/index.mld 6 additions, 6 deletionssrc/index.mld
Loading
Please register or sign in to comment