Up – Package index » libzipperposition » Sources » libzipperposition » const.ml

Source file `const.ml`

libzipperposition
- CHANGELOG
- README
- Library libzipperposition
  - Libzipperposition
- Library libzipperposition.avatar
  - Libzipperposition_avatar
- Library libzipperposition.calculi
  - Libzipperposition_calculi
- Library libzipperposition.induction
  - Libzipperposition_induction
- Library libzipperposition.phases
  - Libzipperposition_phases
- Sources
  - libzipperposition
  - libzipperposition.avatar
  - libzipperposition.calculi
  - libzipperposition.induction
  - libzipperposition.phases

1
2
let version = "2.0"
let section = Logtk.Util.Section.make "zip"