6.4 Exceptions

WindowSystemError

exception WindowSystemError of string

This exception is used when a C function called from ML fails. It is typically used in functions where the C version of the function returns a boolean value indicating success or failure and the ML implementation of the function returns unit.

Generated with Harlequin WebMaker