Type Definition polyhorn_ios::WeakLink

type WeakLink<'a> = WeakLink<'a, Platform>;

Polyhorn core weak link type that is specialized for the iOS platform.