[][src]Type Definition polyhorn_ios::Instance

type Instance = Instance<Platform>;

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