blob: 2c9c1ed7322fe8feb7e5b66b535ad6303971b8ce (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
$ifndef _TRACE
$define _TRACE
val enable_tracing = {
c: "enable_tracing"
} : unit -> unit
function enable_tracing() = ()
val disable_tracing = {
c: "disable_tracing"
} : unit -> unit
function disable_tracing() = ()
val is_tracing = {
c: "is_tracing"
} : unit -> bool
function is_tracing() = false
$endif
|
