Module Psmt2Frontend.Version

val version : string