libretto
API
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL
libretto/libretto.lambda/LambdasOne/VarSynthesizer

VarSynthesizer

libretto.lambda.LambdasOne$.VarSynthesizer
trait VarSynthesizer[Var[_], |*|[_, _]]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any

Members list

Concise view

Value members

Abstract methods

def newSyntheticVar[A](hint: Tupled[|*|, Var, _]): Var[A]
Generated with
© 2002-2021 · LAMP/EPFL
© 2002-2021 · LAMP/EPFL