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