hydra-kernel package
API
Generated with
hydra-kernel/hydra/hydra.core/Term/annotated

annotated

hydra.core.Term.annotated
final case class annotated(value: AnnotatedTerm) extends Term

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with