"", "Wrap the database defined in previous arguments with a layer that starts all operations from the root. This is inefficient but makes the dispatcher work properly until we handle locality correctly in links and maps";

["--db-check"],

A.func A.unit

(fun (m,o) () ->

badop_wrapper (moduleBadop_check.F : Badop_wrapper) m, o),

"", "Wrap the database defined in previous arguments with a layer that check some operations";