Type Alias Weak 

pub type Weak = Weak<Platform>;

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

Aliased Type

pub struct Weak { /* private fields */ }