knuckledragger
kdrag
kdrag.all
kdrag.config
kdrag.kernel
kdrag.notation
kdrag.notation.ExistsUnique
kdrag.notation.NewType
kdrag.notation.QExists
kdrag.notation.QForAll
kdrag.notation.Record
kdrag.notation.cond
kdrag.notation.datatype_call
datatype_call()
kdrag.smt
kdrag.solvers
kdrag.tactics
kdrag.theories
kdrag.utils
knuckledragger
kdrag
kdrag.notation
kdrag.notation.datatype_call
View page source
kdrag.notation.datatype_call
kdrag.notation.
datatype_call
(
self
,
*
args
)
Enable “call” syntax for constructors of smt datatypes