Type Definition Manager
polyhorn_ios
type Manager<'a> = Manager<'a, Platform>;
Polyhorn core manager type that is specialized for the iOS platform.