flint-defunct function

Defunct Functions in Package flint

The functions and other objects listed here are no longer part of flint as they are no longer needed.

## Nothing yet!

Details

These either are stubs reporting that they are defunct or have been removed completely (apart from being documented here).

See Also

Deprecated, base-deprecated, flint-deprecated, flint-notyet.