Status

sealed trait Status
Source:
Prop.scala
class Object
trait Matchable
class Any
class Exception
object False.type
object Proof.type
object True.type
object Undecided.type