Type Alias WeakState 

pub type WeakState<T> = WeakState<Platform, T>;

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

Aliased Type

pub struct WeakState<T>(/* private fields */);