Generated with

root/foresight/foresight.eqsat/foresight.eqsat.lang/AnalysisBox

AnalysisBox

foresight.eqsat.lang.AnalysisBox

See theAnalysisBox companion trait

object AnalysisBox

Companion object for AnalysisBox.

Attributes

Companion: trait
Graph
Supertypes: class Object

trait Matchable

class Any
Self type: AnalysisBox.type

Members list

Value members

Concrete methods

Summon an implicit AnalysisBox for a given language E.

Summon an implicit AnalysisBox for a given language E.

Shorthand for summon[AnalysisBox[E]].

Attributes

In this article

Generated with