toExprType

Undocumented in source. Be warned that the author may not have intended to support it.

toExprType

(

string name

)

Meta

Source

See Implementation

satd tseytin aliases

tseytinTransformResult

enums

ExprType

functions

structs

Expr

variables

answers