dynamic-array.mldoc

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

MLDOC
31
字号
<!-- dynamic-array.mldoc --><!-- Entities.sgml entry <!ENTITY DynamicArrayFn SDATA "dynamic-array-fn.sml"> --><!DOCTYPE ML-DOC SYSTEM><COPYRIGHT OWNER="Bell Labs, Lucent Technologies" YEAR=1998><VERSION VERID="1.0" YEAR=1998 MONTH=6 DAY=9><TITLE>The DynamicArrayFn functor</TITLE><INTERFACE><HEAD>The <CD/DynamicArrayFn/ functor</HEAD><SEEALSO>  <SIGREF DOCUMENT=SML-BASIS-DOC/MONO_ARRAY/  <SIGREF/MONO_DYNAMIC_ARRAY/</SEEALSO><PP>The <FCTREF NOLINK/DynamicArrayFn/ functor takes a monomorphic array structure as an argument. It produces a structure implementing dynamic arrays. These act like arrays of unbounded length.<FUNCTOR FCTID="DynamicArrayFn">  <ID/A/<SIGREF DOCUMENT=SML-BASIS-DOC>MONO_ARRAY</SIGREF>  <ID/MONO_DYNAMIC_ARRAY/    <WHERETYPE><ID>elem<TY>A.elem</WHERETYPE></FUNCTOR></INTERFACE>

⌨️ 快捷键说明

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