GrafiteTypes.moo_content_rev = [];
proof_status = GrafiteTypes.No_proof;
objects = [];
coercions = CoercDb.empty_coerc_db;
universe = Universe.empty;
baseuri = baseuri;
GrafiteTypes.moo_content_rev = [];
proof_status = GrafiteTypes.No_proof;
objects = [];
coercions = CoercDb.empty_coerc_db;
universe = Universe.empty;
baseuri = baseuri;