feat: tighten inductive FFI description#863

david-christiansen merged 6 commits into

mainleanprover/reference-manual:mainfrom

push-kwpruqwrqpxpleanprover/reference-manual:push-kwpruqwrqpxpCopy head branch name to clipboard