Up – Index » docs » other » smtml » Smtml » Smtlib » Extension

Module `Smtlib.Extension`

val statement : 'a -> 'b option