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