应用导出启动程序并调用公共基础接口的样例。
源码浏览已生成;不能解析的文件以纯文本展示,不表示通过类型检查。
# 基础启动验收 本程序在自身 `入口。豫` 中实现 `启动程序 : 有 → 有`,并复用基础适配包的共同验收函数。`实现接口。豫` 声明它实现版本 `0.1.0` 的应用入口。接口检查器核对源级签名与方向;程序顶层调用该函数,供现有宿主的 `_start` 包装运行。
# 基础启动验收 客于「入口。豫」具「启动程序」之型与体,复用基础共验。静态实现约定明应用所具之版与向;检查器核其源型,顶层召之,以旧宿主之 `_start` 包装行之。详见[汉语稿](说明.汉语.md)。