tseytinTransformResult

Undocumented in source.

alias tseytinTransformResult = Tuple!(parseResult, "parseResult", Literal[string], "varToLiteral")

Meta

Source

See Implementation

satd tseytin aliases

tseytinTransformResult

enums

ExprType

functions

structs

Expr

variables

answers