diff options
Diffstat (limited to 'devel/sml_tk/files/src-std_lib-std_lib.mlb')
-rw-r--r-- | devel/sml_tk/files/src-std_lib-std_lib.mlb | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/devel/sml_tk/files/src-std_lib-std_lib.mlb b/devel/sml_tk/files/src-std_lib-std_lib.mlb new file mode 100644 index 000000000000..c6be7935da04 --- /dev/null +++ b/devel/sml_tk/files/src-std_lib-std_lib.mlb @@ -0,0 +1,18 @@ +local + $(SML_LIB)/basis/basis.mlb + lib-base-sig.sml + lib-base.sml + ord-key-sig.sml + ord-map-sig.sml + ord-set-sig.sml + binary-map-fn.sml + int-binary-set.sml +in + functor BinaryMapFn + structure IntBinarySet + signature LIB_BASE + structure LibBase + signature ORD_KEY + signature ORD_MAP + signature ORD_SET +end |