(string * Ast.term) list
(** left parameters, name, type, fields *)
+(** To be increased each time the command type below changes, used for "safe"
+ * marshalling *)
+let magic = 1
+
type ('term,'obj) command =
| Default of loc * string * UriManager.uri list
| Include of loc * string
(* DEBUGGING *)
| Render of loc * UriManager.uri (* render library object *)
-let reash_uris =
+(* composed magic: term + command magics. No need to change this value *)
+let magic = magic + 10000 * CicNotationPt.magic
+
+let reash_cmd_uris =
function
| Default (loc, name, uris) ->
let uris =
| IncludeDep of string
| BaseuriDep of string
| UriDep of UriManager.uri
-
+