On this page:
2.2.1 同时导入导出其他模块
export-from
8.12

2.2 模块快速语法🔗

2.2.1 同时导入导出其他模块🔗

syntax

(export-from module-path ...+)

平日里,我们常写:

(require a)
 
(provide (all-from-out a))

那么有了export-from,就能将它们合并一起:

(export-from a b c)