makeInductionExplicit

Attributes

Source

makeInductionExplicit.scala

Graph

Reset zoomHide graphShow graph

Supertypes

class Object

trait Matchable

class Any

Self type

makeInductionExplicit.type