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