ArrExpr (Averest)

ArrExpr Type

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

Union case	Description
`ArrArrAcc(ArrExpr, NatExpr)` Full Usage: `ArrArrAcc(ArrExpr, NatExpr)` Parameters: Item1 : `ArrExpr` Item2 : `NatExpr`	Item1 : `ArrExpr` Item2 : `NatExpr`
`ArrCase((BoolExpr * ArrExpr) list, ArrExpr)` Full Usage: `ArrCase((BoolExpr * ArrExpr) list, ArrExpr)` Parameters: Item1 : `(BoolExpr * ArrExpr) list` Item2 : `ArrExpr`	Item1 : `(BoolExpr * ArrExpr) list` Item2 : `ArrExpr`
`ArrIte(BoolExpr, ArrExpr, ArrExpr)` Full Usage: `ArrIte(BoolExpr, ArrExpr, ArrExpr)` Parameters: Item1 : `BoolExpr` Item2 : `ArrExpr` Item3 : `ArrExpr`	Item1 : `BoolExpr` Item2 : `ArrExpr` Item3 : `ArrExpr`
`ArrOfExprL Expr list` Full Usage: `ArrOfExprL Expr list` Parameters: Item : `Expr list`	Item : `Expr list`
`ArrTupAcc(TupExpr, int)` Full Usage: `ArrTupAcc(TupExpr, int)` Parameters: Item1 : `TupExpr` Item2 : `int`	Item1 : `TupExpr` Item2 : `int`
`ArrVar(QName, int * QType)` Full Usage: `ArrVar(QName, int * QType)` Parameters: Item1 : `QName` Item2 : `int * QType`	Item1 : `QName` Item2 : `int * QType`

Instance member Description

Instance member	Description
`this.pprinter` Full Usage: `this.pprinter` Returns: `int -> PrnDrv -> unit`	Returns: `int -> PrnDrv -> unit`
`this.pprinterCase (t1, t2)` Full Usage: `this.pprinterCase (t1, t2)` Parameters: t1 : `BoolExpr` t2 : `ArrExpr` Returns: `int -> PrnDrv -> unit`	t1 : `BoolExpr` t2 : `ArrExpr` Returns: `int -> PrnDrv -> unit`


                
                  
                    
                      this.pprinter

Full Usage: this.pprinter

Returns: int -> PrnDrv -> unit


                
                  
                    
                      this.pprinterCase (t1, t2)

Full Usage: this.pprinterCase (t1, t2)

Parameters:

t1 : BoolExpr

t2 : ArrExpr

Returns: int -> PrnDrv -> unit