package linksem

You can search for identifiers within the package.

in-package search v0.2.0

linksem_zarith

Legend:
Library
Module
Module type
Parameter
Class
Class type

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.

val default_os_specific_print : 'a -> string

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

val default_proc_specific_print : 'a -> string

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

val default_user_specific_print : 'a -> string

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