val karamel_commit : string
let karamel_commit = "7460546b"
val karamel_commit : string
let karamel_commit =
"7460546b"
Version.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
Version.fst
module Version
let everparse_version = "afb6fff3 (unreleased)"
val karamel_commit : string
Prims.string