type status = {
moo_content_rev: GrafiteMarshal.moo;
proof_status: proof_status;
objects: UriManager.uri list;
coercions: CoercDb.coerc_db;
type status = {
moo_content_rev: GrafiteMarshal.moo;
proof_status: proof_status;
objects: UriManager.uri list;
coercions: CoercDb.coerc_db;