docs
API
Generated with
docs/scalus/scalus.sir/SIR/Pattern/Constr

Constr

scalus.sir.SIR.Pattern.Constr
final case class Constr(constr: ConstrDecl, bindings: List[String], typeBindings: List[SIRType])

Members list

Value members

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with