Commits

Maxime Buquet  committed 82f62e7

mli files added

  • Participants
  • Parent commits 0314e54

Comments (0)

Files changed (3)

     | Read
     | Loop of t list
 
+let new_env () = Env.empty
+
 let rec eval env = function
     | Reset :: tl ->
             eval Env.empty tl
+
+module Env : sig type t end
+
+type t
+
+val new_env : unit -> Env.t
+
+val eval : Env.t -> t list -> Env.t
+val to_list : string -> char list
+val parse : char list -> t list
+
+module type T =
+sig
+    type t
+    val zero : t
+end
+
+module Make : functor (F : T) ->
+sig
+    exception OutofBounds
+
+    type key = F.t
+    type t
+
+    val empty : t
+    val pop : t -> key
+    val right : t -> t
+    val left : t -> t
+    val push : key -> t -> t
+    
+end