Move all the constraints in there own module
Showing
- src/lib/all.mlw 14 additions, 12 deletionssrc/lib/all.mlw
- src/lib/constraints/add.mlw 141 additions, 0 deletionssrc/lib/constraints/add.mlw
- src/lib/constraints/boolPresent.mlw 56 additions, 0 deletionssrc/lib/constraints/boolPresent.mlw
- src/lib/constraints/constraints.json 7 additions, 7 deletionssrc/lib/constraints/constraints.json
- src/lib/constraints/dune 8 additions, 0 deletionssrc/lib/constraints/dune
- src/lib/constraints/dune.generated 57 additions, 0 deletionssrc/lib/constraints/dune.generated
- src/lib/constraints/dune.template.generated 8 additions, 0 deletionssrc/lib/constraints/dune.template.generated
- src/lib/constraints/equiv.mlw 68 additions, 0 deletionssrc/lib/constraints/equiv.mlw
- src/lib/constraints/generator/generate_simple.ml 12 additions, 1 deletionsrc/lib/constraints/generator/generate_simple.ml
- src/lib/constraints/isTrue.mlw 62 additions, 0 deletionssrc/lib/constraints/isTrue.mlw
- src/lib/constraints/le.mlw 80 additions, 0 deletionssrc/lib/constraints/le.mlw
- src/lib/constraints/not_.mlw 69 additions, 0 deletionssrc/lib/constraints/not_.mlw
- src/lib/constraints/or.mlw 68 additions, 0 deletionssrc/lib/constraints/or.mlw
- src/lib/constraints/simple.template.mlw 8 additions, 8 deletionssrc/lib/constraints/simple.template.mlw
- src/lib/cp.mlw 0 additions, 551 deletionssrc/lib/cp.mlw
- src/lib/dune 5 additions, 7 deletionssrc/lib/dune
Loading
Please register or sign in to comment