alloy.proto.ReservedFieldsDefinition.RangeCase
See theRangeCase companion object
final case class RangeCase(range: Range) extends ReservedFieldsDefinition
Attributes
- Companion
- object
- Graph
-
- Supertypes
-
trait ReservedFieldsDefinitiontrait Serializabletrait Producttrait Equalsclass Objecttrait Matchableclass Any
Members list
In this article