Split into three packages feat-core, feat, feat-num.
Showing
- CHANGES.md 26 additions, 0 deletionsCHANGES.md
- Makefile 34 additions, 16 deletionsMakefile
- demo/Test.ml 29 additions, 12 deletionsdemo/Test.ml
- demo/dune 0 additions, 5 deletionsdemo/dune
- demo/with-feat-num/dune 7 additions, 0 deletionsdemo/with-feat-num/dune
- demo/with-feat/dune 7 additions, 0 deletionsdemo/with-feat/dune
- feat-core.opam 19 additions, 0 deletionsfeat-core.opam
- feat-core/BigIntSig.ml 43 additions, 0 deletionsfeat-core/BigIntSig.ml
- feat-core/Enum.ml 7 additions, 1 deletionfeat-core/Enum.ml
- feat-core/Enum.mli 14 additions, 0 deletionsfeat-core/Enum.mli
- feat-core/EnumSig.ml 130 additions, 0 deletionsfeat-core/EnumSig.ml
- feat-core/IFSeq.ml 13 additions, 6 deletionsfeat-core/IFSeq.ml
- feat-core/IFSeq.mli 7 additions, 17 deletionsfeat-core/IFSeq.mli
- feat-core/IFSeqList.ml 0 additions, 0 deletionsfeat-core/IFSeqList.ml
- feat-core/IFSeqList.mli 2 additions, 2 deletionsfeat-core/IFSeqList.mli
- feat-core/IFSeqObj.ml 1 addition, 15 deletionsfeat-core/IFSeqObj.ml
- feat-core/IFSeqObj.mli 1 addition, 16 deletionsfeat-core/IFSeqObj.mli
- feat-core/IFSeqSig.ml 48 additions, 21 deletionsfeat-core/IFSeqSig.ml
- feat-core/IFSeqSyn.ml 1 addition, 15 deletionsfeat-core/IFSeqSyn.ml
- feat-core/IFSeqSyn.mli 1 addition, 16 deletionsfeat-core/IFSeqSyn.mli
Loading
Please register or sign in to comment