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

Instance member	Description
`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`


                
                  
                    
                      this.pprinter

Full Usage: this.pprinter

Returns: PPrinter


                
                  
                    
                      this.pprinterCase (t1, t2)

Full Usage: this.pprinterCase (t1, t2)

Parameters:

t1 : BoolExpr

t2 : TupExpr

Returns: int -> PrnDrv -> unit