plsabort
( | handler) ; |
Sets an optional user abort handler. See plabort
for details.
handler
(void (*) (char *)
, input)
Error abort handler.
This function is currently available in C and Ocaml.
This function is not used in any examples.