gapt.prooftool.`package`.prooftool
Attributes
-
Source
-
package.scala
-
Graph
-
-
Supertypes
-
class Object
trait Matchable
class Any
-
Self type
-
Members list
Displays various objects in prooftool. Creates an instance of the appropriate viewer.
Displays various objects in prooftool. Creates an instance of the appropriate viewer.
This is implemented via a type class. For instances, see the prooftool package object.
Value parameters
-
name
-
The title to be displayed.
-
obj
-
The object to be displayed.
Attributes
-
Source
-
package.scala