kdrag.kernel.define_fix

kdrag.kernel.define_fix(name: str, args: list[ExprRef], retsort, fix_lam) → FuncDeclRef

Define a recursive definition.

Parameters:

• name (str)

• args (list[ExprRef])

Return type:

FuncDeclRef