|
Routines |
| Prev: 44726 | Up: Map | Next: 44742 |
|
Used by the routine at MatchWordAgainstEarlierClause.
Counts down B and continues at WalkSavedClauseList, which walks the saved clause list until the pointer meets 40944+2 or bit 6 is clear.
|
||||
| StepThroughSavedClauseList | 44741 | DEC B | Count down one. | |
| Prev: 44726 | Up: Map | Next: 44742 |