knuckledragger
kdrag
kdrag.all
kdrag.config
kdrag.kernel
kdrag.notation
kdrag.notation.ExistsUnique
kdrag.notation.NewType
NewType()
kdrag.notation.QExists
kdrag.notation.QForAll
kdrag.notation.Record
kdrag.notation.cond
kdrag.notation.datatype_call
kdrag.smt
kdrag.solvers
kdrag.tactics
kdrag.theories
kdrag.utils
knuckledragger
kdrag
kdrag.notation
kdrag.notation.NewType
View page source
kdrag.notation.NewType
kdrag.notation.
NewType
(
name
,
sort
,
pred
=
None
)