プログラミング言語SML#解説 3.7.1版
19

19.22 動的インポート式: exp : _import cfunty

静的インポート式と同様の機能を,動的リンクによって得た 関数ポインタに対して行う式である. expcodeptr型でなければならない. この式を評価すると,expが評価され, 関数ポインタを得る. 関数ポインタが指すコードがcfuntyで 指示された型のC関数ならば, この式の値は,expで指定されたC関数を呼び出す SML#の関数である. そうでない場合の式の意味は未定義である.