Up – Package index » Herdtools7 » Sources » herdtools7.asllib » Version.ml

Source file `Version.ml`

Herdtools7
- Getting started with ASLRef
- Library herdtools7.asllib
  - Asllib
- Sources
  - herdtools7.asllib

1
2
3
4
(* GENERATED, DO NOT EDIT *)
let version = "7.57"
let rev = "exported"
let libdir = "/home/opam/.opam/default/share/herdtools7/"