[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[PVS-Help] recursive functions calling each other
I have two recursive functions that call each other:
a(x: nat): RECURSIVE bool =
b(y: nat): RECURSIVE bool =
I don't know how to do this without getting resolution errors.
Thanks for your help,