TupExpr (Averest)

TupExpr Type

Namespace: Averest.Core
Assembly: Averest.dll
Parent Module: Expressions
Base Type: obj
All Interfaces: IEquatable<TupExpr> , IStructuralEquatable , IComparable<TupExpr> , IComparable , IStructuralComparable

Union case	Description
`TupArrAcc(ArrExpr, NatExpr)` Full Usage: `TupArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`TupCase((BoolExpr * TupExpr) list, TupExpr)` Full Usage: `TupCase((BoolExpr * TupExpr) list, TupExpr)` Parameters: Item1 : `(BoolExpr * TupExpr) list` Item2 : `TupExpr`	Item1 : `(BoolExpr * TupExpr) list` Item2 : `TupExpr`
`TupIte(BoolExpr, TupExpr, TupExpr)` Full Usage: `TupIte(BoolExpr, TupExpr, TupExpr)` Parameters: Item1 : `BoolExpr` Item2 : `TupExpr` Item3 : `TupExpr`	Item1 : `BoolExpr` Item2 : `TupExpr` Item3 : `TupExpr`
`TupOfExprL Expr list` Full Usage: `TupOfExprL Expr list` Parameters: Item : `Expr list`	Item : `Expr list`
`TupTupAcc(TupExpr, int)` Full Usage: `TupTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`TupVar(QName, QType list)` Full Usage: `TupVar(QName, QType list)` Parameters: Item1 : `QName` Item2 : `QType list`	Item1 : `QName` Item2 : `QType list`

Instance member	Description
`this.IsTupArrAcc` Full Usage: `this.IsTupArrAcc` Returns: `bool`	Returns: `bool`
`this.IsTupCase` Full Usage: `this.IsTupCase` Returns: `bool`	Returns: `bool`
`this.IsTupIte` Full Usage: `this.IsTupIte` Returns: `bool`	Returns: `bool`
`this.IsTupOfExprL` Full Usage: `this.IsTupOfExprL` Returns: `bool`	Returns: `bool`
`this.IsTupTupAcc` Full Usage: `this.IsTupTupAcc` Returns: `bool`	Returns: `bool`
`this.IsTupVar` Full Usage: `this.IsTupVar` Returns: `bool`	Returns: `bool`
`this.pprinter` Full Usage: `this.pprinter` Returns: `PPrinter`	Returns: `PPrinter`
`this.pprinterCase (t1, t2)` Full Usage: `this.pprinterCase (t1, t2)` Parameters: t1 : `BoolExpr` t2 : `TupExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `TupExpr` Returns: `int -> PrnDrv -> unit`