tiは型、pは手続き、biは値またはa1〜anに対する副作用を伴わない式である。