ord-key.mldoc

来自「这是我们参加06年全国开源软件的竞赛作品」· MLDOC 代码 · 共 48 行

MLDOC
48 行
字号 
<!-- ord-key.mldoc --><!-- Entities.sgml entry <!ENTITY ORD-KEY SDATA "ord-key-sig.sml"> --><!DOCTYPE ML-DOC SYSTEM><COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998><VERSION VERID="1.0" YEAR=1998 MONTH=6 DAY=5><TITLE>The ORD_KEY signature</TITLE><INTERFACE><HEAD>The <CD/ORD_KEY/ signature</HEAD><SEEALSO>  <SIGREF/ORD_MAP/  <SIGREF/ORD_SET/  <FCTREF/BinarySetFn/  <FCTREF/BinaryMapFn/  <FCTREF/SplaySetFn/  <FCTREF/SplayMapFn/  <FCTREF/ListSetFn/  <FCTREF/ListMapFn/</SEEALSO><PP>The <SIGREF NOLINK/ORD_KEY/ signature provides an abstractdescription of ordered keys. It specifies a type plus a trivalentcomparison function.<SIGNATURE SIGID="ORD_KEY">  <SIGBODY SIGID="ORD_KEY" FILE=ORD-KEY>    <SPEC>      <TYPE><ID>ord_key    <SPEC>      <VAL>compare<TY>(ord_key * ord_key) -> order        <COMMENT>          <PROTOTY>          compare (<ARG/key/, <ARG/key'/)          </PROTOTY>          returns <CONREF STRID="General" DOCUMENT=SML-BASIS-DOC/LESS/, 	  <CONREF STRID="General" DOCUMENT=SML-BASIS-DOC/EQUAL/,	  or <CONREF STRID="General" DOCUMENT=SML-BASIS-DOC/GREATER/           if and only if <ARG/key/ is less than, equal to, or greater           than <ARG/key'/, respectively, in some defined linear ordering.</SIGNATURE></INTERFACE>

ord-key.mldoc - 源码说明

本页面展示了「这是我们参加06年全国开源软件的竞赛作品」中的 ord-key.mldoc 源码文件，采用 MLDOC 编程语言编写，共 48 行代码。您可以在线阅读完整代码内容，也可以返回资源详情页下载完整源码包进行本地学习和开发。

虫虫下载站收录了大量与开源软件相关的技术资源，包括源代码、技术文档、电路图等，是电子工程师和嵌入式开发者的专业学习平台。

⌨️ 快捷键说明

复制代码Ctrl + C
搜索代码Ctrl + F
全屏模式F11
增大字号Ctrl + =
减小字号Ctrl + -
显示快捷键?