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
`this.IsArrArrAcc` Full Usage: `this.IsArrArrAcc` Returns: `bool`	Returns: `bool`
`this.IsArrCase` Full Usage: `this.IsArrCase` Returns: `bool`	Returns: `bool`
`this.IsArrIte` Full Usage: `this.IsArrIte` Returns: `bool`	Returns: `bool`
`this.IsArrOfExprL` Full Usage: `this.IsArrOfExprL` Returns: `bool`	Returns: `bool`
`this.IsArrTupAcc` Full Usage: `this.IsArrTupAcc` Returns: `bool`	Returns: `bool`
`this.IsArrVar` Full Usage: `this.IsArrVar` Returns: `bool`	Returns: `bool`
`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`