持続的な間隔を表す型