📄 dynamic-array.mldoc
字号:
<!-- 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 + Shift + D
显示快捷键
?
增大字号
Ctrl + =
减小字号
Ctrl + -