fn prelude_module(db: &dyn Db) -> SymModule<'_>
Returns the libdada prelude module. It must be present.
libdada