db1,db2,dbi,dbgp,dbp,dbids,dbrefs,ch,dbmn1,dbmn2,dbo,curi,empty_info >}
method set_ocaml_extraction_db v = {< ocaml_extraction_db = v >}
method set_ocaml_extraction_status
db1,db2,dbi,dbgp,dbp,dbids,dbrefs,ch,dbmn1,dbmn2,dbo,curi,empty_info >}
method set_ocaml_extraction_db v = {< ocaml_extraction_db = v >}
method set_ocaml_extraction_status