Source file Version.ml

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