protobuf-fs2
API
Generated with
protobuf-fs2/quivr.models/ProofProto

ProofProto

quivr.models.ProofProto
object ProofProto extends GeneratedFileObject

Attributes

Graph
Supertypes
class GeneratedFileObject
class Object
trait Matchable
class Any
Self type
ProofProto.type

Members list

Value members

Deprecated methods

def descriptor: FileDescriptor

Attributes

Deprecated
true

Concrete fields

lazy val dependencies: Seq[GeneratedFileObject]
lazy val javaDescriptor: FileDescriptor

Returns the Java descriptors for this file. It is recommended to use scalaDescriptors. The Java descriptors are available even when Java conversions is disabled, however they are not available in Scala.js or scala-native.

Returns the Java descriptors for this file. It is recommended to use scalaDescriptors. The Java descriptors are available even when Java conversions is disabled, however they are not available in Scala.js or scala-native.

Attributes

lazy val messagesCompanions: Seq[GeneratedMessageCompanion[_ <: GeneratedMessage]]
lazy val scalaDescriptor: FileDescriptor
Generated with