Generated with

protobuf-fs2/org.plasmalabs/org.plasmalabs.quivr.models/ProofValidator/OrValidator

OrValidator

org.plasmalabs.quivr.models.ProofValidator.OrValidator

object OrValidator extends Validator[Or]

Attributes

Graph
Supertypes: trait Validator[Or]

trait Serializable

class Object

trait Matchable

class Any
Self type: OrValidator.type

Members list

Value members

Concrete methods

Inherited methods

Attributes

Inherited from:: Validator

In this article

Generated with