docs
API
Generated with
docs/scalus/scalus.sir/SIR/LamAbs

LamAbs

scalus.sir.SIR.LamAbs
final case class LamAbs(name: String, term: SIR) extends SIR

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with