knuckledragger
kdrag
kdrag.all
kdrag.config
kdrag.kernel
kdrag.notation
kdrag.smt
kdrag.solvers
kdrag.tactics
kdrag.theories
kdrag.theories.bitvec
kdrag.theories.complex
kdrag.theories.datatypes
kdrag.theories.int
kdrag.theories.interval
kdrag.theories.real
kdrag.theories.seq
kdrag.theories.seq.induct
kdrag.theories.vec
kdrag.utils
knuckledragger
kdrag
kdrag.theories
kdrag.theories.seq
kdrag.theories.seq.induct
View page source
kdrag.theories.seq.induct
kdrag.theories.seq.
induct
(
T
:
SortRef
,
P
)
→
None