DB.defaultIncDiscard3kaya
Default function
Usage
Void defaultIncDiscard( DBIncResult<a> res )
Overview
Databases that do not support incremental retrieval should use this function as the incdiscard field of their DB.DBHandle (3kaya)
It will throw the Builtins.Not_Implemented (3kaya) Exception if called.
Releases
4 releases since Debian 5.0 (Lenny); the text changed 3 times.