Theory0

Attributes

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Known subtypes

class Theory

object fta.type

object list.type

object listdrop.type

object listfold.type

object listlength.type

object logic.type

object nat.type

object natdivisible.type

object natdivision.type

object natlists.type

object natorder.type

object props.type

object set.type

Show all