📄 load
字号:
app use [ "lib-base-sig.sml", "lib-base.sml", "fifo-sig.sml", "fifo.sml", "queue-sig.sml", "queue.sml", "ord-key-sig.sml", "ord-map-sig.sml", "ord-set-sig.sml", "list-map-fn.sml", "list-set-fn.sml", "binary-map-fn.sml", "binary-set-fn.sml",(* "splay-map-fn.sml", *)(* "splay-set-fn.sml", *) "int-list-map.sml", "int-list-set.sml", "int-binary-map.sml", "int-binary-set.sml" ];
⌨️ 快捷键说明
复制代码
Ctrl + C
搜索代码
Ctrl + F
全屏模式
F11
切换主题
Ctrl + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -