Dolmen_smtlib2
module Response : sig ... end
module Script : sig ... end
type version = [
| `Script of Script.version
| `Response of Response.version
]