structure DynamicLink =
  struct
    type lib (= boxed)
    datatype mode = LAZY | NOW
    datatype scope = GLOBAL | LOCAL
    val default : unit -> lib
    val dlclose : lib -> unit
    val dlopen  : string -> lib
    val dlopen’ : string * scope * mode -> lib
    val dlsym : lib * string -> codeptr
    val dlsym’ : lib * string -> unit ptr
    val next : unit -> lib
  end

• •

  lib オープンされた動的リンクライブラリのハンドルを表す抽象データ型．

• •

  mode dlopen’でライブラリをオープンする際のモード． NOWはdlopen’呼び出し時にオープンすることを意味する． LAZYはdlopen’呼び出し時ライブラリファイルをチェッ クしオープンの準備をするのみで，ライブラリファイルは，実行時に参照された時に オープンする処理を生成することを意味する．