Status

Attributes

Source

Prop.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class Exception

object False

object Proof

object True

object Undecided