Scala 2
|
|
isabelle/Linear_Set.scala
]
class
Undefined(s : java.lang.String)
extends
java.lang.Exception with
AnyRefMethods inherited from AnyRef | |
getClass, hashCode, equals, clone, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Scala 2
|
|