val fstar_commit : string
let fstar_commit = "61ccb46077"
val fstar_commit : string
let fstar_commit =
"61ccb46077"
Version.fst.checked
prims.fst.checked FStar.Pervasives.fsti.checked
Version.fst
module Version
val fstar_commit : string
Prims.string