type options = option_value StringMap.t
let no_options = StringMap.empty
-type ast_command = (CicNotationPt.term, GrafiteAst.obj) GrafiteAst.command
+type ast_command = (CicNotationPt.term, CicNotationPt.obj) GrafiteAst.command
type moo = ast_command list * GrafiteAst.metadata list
type status = {
proof_status: proof_status;
options: options;
objects: (UriManager.uri * string) list;
+ coercions: UriManager.uri list;
notation_ids: CicNotation.notation_id list;
}