finite

object finite(source)