+let at_least
+ ~(dbd:Mysql.dbd) ?concl_card ?full_card (metadata: MetadataTypes.constr list)
+=
+ let module MT = MetadataTypes in
+ if MT.are_tables_ownerized () then
+ (at_least ~dbd ?concl_card ?full_card
+ (MT.obj_tbl (),MT.rel_tbl (),MT.sort_tbl (),
+ MT.conclno_tbl (),MT.conclno_hyp_tbl ())
+ metadata)
+ @
+ (at_least ~dbd ?concl_card ?full_card
+ (MT.library_obj_tbl,MT.library_rel_tbl,MT.library_sort_tbl,
+ MT.library_conclno_tbl,MT.library_conclno_hyp_tbl)
+ metadata)
+ else
+ at_least ~dbd ?concl_card ?full_card
+ (MT.library_obj_tbl,MT.library_rel_tbl,MT.library_sort_tbl,
+ MT.library_conclno_tbl,MT.library_conclno_hyp_tbl)
+ metadata
+
+