export { numberTheoryModule } from '../builtin/modules/number-theory';
export type { DvalaModule } from '../builtin/modules/interface';