domain

abstract val domain: Interval