table of contents

predecessor function

2024-04-13