knuckledragger
kdrag
kdrag.all
kdrag.config
kdrag.kernel
kdrag.kernel.axiom
kdrag.kernel.beta_conv
kdrag.kernel.consider
kdrag.kernel.define
kdrag.kernel.define_fix
define_fix()
kdrag.kernel.forget
kdrag.kernel.forget2
kdrag.kernel.fresh_const
kdrag.kernel.herb
kdrag.kernel.instan
kdrag.kernel.instan2
kdrag.kernel.is_proof
kdrag.kernel.lemma
kdrag.kernel.skolem
kdrag.notation
kdrag.smt
kdrag.solvers
kdrag.tactics
kdrag.theories
kdrag.utils
knuckledragger
kdrag
kdrag.kernel
kdrag.kernel.define_fix
View page source
kdrag.kernel.define_fix
kdrag.kernel.
define_fix
(
name
:
str
,
args
:
list
[
ExprRef
]
,
retsort
,
fix_lam
)
→
FuncDeclRef
Define a recursive definition.