add interpret mli

OCamlPro · Sep 17, 2023 · 7e3b354 · 7e3b354
1 parent 07d7d80
commit 7e3b354
Showing 1 changed file with 44 additions and 0 deletions.
diff --git a/src/interpret.mli b/src/interpret.mli
@@ -0,0 +1,44 @@
+module Concrete : sig
+  val modul :
+       Concrete.P.env Env_id.collection
+    -> Concrete.P.Module_to_run.t
+    -> unit Result.t
+
+  val exec_vfunc_from_outside :
+       locals:V.t list
+    -> env:Link_env.t'
+    -> envs:Concrete.P.env Env_id.collection
+    -> Func_intf.t
+    -> V.t list Result.t
+
+  val exec_ibinop : V.t list -> Types.nn -> Types.ibinop -> V.t list
+
+  val exec_iunop : V.t list -> Types.nn -> Types.iunop -> V.t list
+
+  val exec_itestop : V.t list -> Types.nn -> Types.itestop -> V.t list
+
+  val exec_irelop : V.t list -> Types.nn -> Types.irelop -> V.t list
+
+  val exec_itruncf : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list
+
+  val exec_itruncsatf : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list
+
+  val exec_ireinterpretf : V.t list -> Types.nn -> Types.nn -> V.t list
+
+  val exec_fbinop : V.t list -> Types.nn -> Types.fbinop -> V.t list
+
+  val exec_funop : V.t list -> Types.nn -> Types.funop -> V.t list
+
+  val exec_frelop : V.t list -> Types.nn -> Types.frelop -> V.t list
+
+  val exec_fconverti : V.t list -> Types.nn -> Types.nn -> Types.sx -> V.t list
+
+  val exec_freinterpreti : V.t list -> Types.nn -> Types.nn -> V.t list
+end
+
+module Symbolic : sig
+  val modul :
+       Symbolic.P.env Env_id.collection
+    -> Symbolic.P.Module_to_run.t
+    -> unit Result.t Choice_monad.Explicit.t
+end