Module Default_printingSource

default_printing module is a small utility module providing default * printing functions for when ABI-specific functions are not available. * These functions were constantly being redefined and reused all over the * place hence their placement in this module.

Sourceval default_os_specific_print : 'a -> string

default_os_specific_print is a default print function for OS specific * functionality.

Sourceval default_proc_specific_print : 'a -> string

default_proc_specific_print is a default print function for processor specific * functionality.

Sourceval default_user_specific_print : 'a -> string

default_user_specific_print is a default print function for user specific * functionality.