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

wrap

hydra.core.Term.wrap
final case class wrap(value: WrappedTerm) 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