> signature DYN_LINK = > sig > end > structure DynLink : DYN_LINK That should be an opaque signature match, else my point is moot.