Scala 2
|
|
isabelle/Linear_Set.scala
]
object
Linear_Set
extends
AnyRefMethod Summary | |
def
|
apply [A](elems : A*) : Linear_Set[A] |
def
|
empty [A] : Linear_Set[A] |
Methods inherited from AnyRef | |
getClass, hashCode, equals, clone, toString, notify, notifyAll, wait, wait, wait, finalize, ==, !=, eq, ne, synchronized |
Methods inherited from Any | |
==, !=, isInstanceOf, asInstanceOf |
Class Summary | |
class
|
Duplicate
(s : java.lang.String) extends java.lang.Exception with AnyRef
|
class
|
Undefined
(s : java.lang.String) extends java.lang.Exception with AnyRef
|
Method Details |
Scala 2
|
|