libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Var

Var

libretto.lambda.Var
See theVar companion class
opaque object Var

Attributes

Companion
class
Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Var.type

Members list

Type members

Classlikes

object Set

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Set.type

Types

opaque type Set[P]

Givens

Givens

given given_Injective_Var[P]: given_Injective_Var[P]
given given_UniqueTypeArg_Var[P]: given_UniqueTypeArg_Var[P]
Generated with