Commit a2583b3f authored by POTTIER Francois's avatar POTTIER Francois


parent e8fde8e7
......@@ -343,9 +343,8 @@ module type ENGINE = sig
(* [start s] should really produce a result of type ['a result], for a
fixed ['a] that depends on the state [s]. We cannot express this, so
we use [semantic_value result], which is safe. *)
(* TEMPORARY maybe [start] should just be removed from this signature *)
we use [semantic_value result], which is safe. The table back-end
uses [Obj.magic] to produce safe specialized versions of [start]. *)
val start:
state ->
Markdown is supported
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment