Dolmen_smtlib2.Response
type version = [
|
`Latest
`V2_6
]
module V2_6 = Dolmen_smtlib2_v6.Response
module Latest = V2_6