1 files changed, 22 insertions, 0 deletions
diff --git a/lib/trace.sail b/lib/trace.sail
new file mode 100644
index 00000000..2c9c1ed7
--- /dev/null
+++ b/lib/trace.sail
@@ -0,0 +1,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