let
accept_base_in_lmap =
Db
.accept_base ~with_formals:
false