libretto-lambda
API
Generated with
libretto-lambda/libretto.lambda/Lambdas/LinearityViolation/Unused

Unused

libretto.lambda.Lambdas.LinearityViolation.Unused
final case class Unused[VarLabel, CtxLabel](v: Var[VarLabel, _], exitedCtx: CtxLabel)

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with