blob: d22e0fec359809a0ceff38571fabb565966e2b29 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
|
(** [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.
*)
open import Function
(** [default_os_specific_print] is a default print function for OS specific
* functionality.
*)
val default_os_specific_print : forall 'a. 'a -> string
let default_os_specific_print =
(const "*Default OS specific print*")
(** [default_proc_specific_print] is a default print function for processor specific
* functionality.
*)
val default_proc_specific_print : forall 'a. 'a -> string
let default_proc_specific_print =
(const "*Default processor specific print*")
(** [default_user_specific_print] is a default print function for user specific
* functionality.
*)
val default_user_specific_print : forall 'a. 'a -> string
let default_user_specific_print =
(const "*Default user specific print*")
|
