Add ocaml run-time and updates to sail for ocaml backend

1 files changed, 28 insertions, 0 deletions

diff --git a/lib/ocaml_rts/linksem/default_printing.ml b/lib/ocaml_rts/linksem/default_printing.ml
new file mode 100644
index 00000000..4bce7684
--- /dev/null
+++ b/lib/ocaml_rts/linksem/default_printing.ml
@@ -0,0 +1,28 @@
+(*Generated by Lem from default_printing.lem.*)
+(** [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 Lem_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:'a ->string= 
+  ((fun y->"*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:'a ->string= 
+  ((fun y->"*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:'a ->string= 
+  ((fun y->"*Default user specific print*"))