RemoteLocked
rescala.fullmv.mirrors.RemoteLocked
case class RemoteLocked(newRoot: SubsumableLock) extends RemoteTryLockResult
Attributes
- Graph
-
- Supertypes
-
trait Serializabletrait Producttrait Equalstrait RemoteTryLockResultclass Objecttrait Matchableclass Any
Members list
In this article