Module MenhirSdk.Version

val version : string