*)
| Record of (string * Ast.term) list * string * Ast.term *
(string * Ast.term) list
+ (** left parameters, name, type, fields *)
type ('term,'obj) command =
| Default of loc * string * UriManager.uri list
(* DEBUGGING *)
| Render of loc * UriManager.uri (* render library object *)
+let reash_uris =
+ function
+ | Default (loc, name, uris) ->
+ let uris =
+ List.map
+ (fun uri -> UriManager.uri_of_string (UriManager.string_of_uri uri))
+ uris
+ in
+ Default (loc, name, uris)
+ | cmd -> cmd
+
type ('term, 'lazy_term, 'reduction, 'ident) tactical =
| Tactic of loc * ('term, 'lazy_term, 'reduction, 'ident) tactic
| Do of loc * int * ('term, 'lazy_term, 'reduction, 'ident) tactical
| Executable of loc * ('term, 'lazy_term, 'reduction, 'obj, 'ident) code
| Comment of loc * ('term, 'lazy_term, 'reduction, 'obj, 'ident) comment
+ (* statements meaningful for matitadep *)
+type dependency =
+ | IncludeDep of string
+ | BaseuriDep of string
+ | UriDep of UriManager.uri
+