Module MenhirSdk__Version

val version : string