Type Definition polyhorn_ios::Weak

type Weak = Weak<Platform>;

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