Averest


Expr Type

Union cases

Union case Description

Earr ArrExpr

Full Usage: Earr ArrExpr

Parameters:

Item : ArrExpr

Ebool BoolExpr

Full Usage: Ebool BoolExpr

Parameters:

Item : BoolExpr

Ebtv BtvExpr

Full Usage: Ebtv BtvExpr

Parameters:

Item : BtvExpr

Eint IntExpr

Full Usage: Eint IntExpr

Parameters:

Item : IntExpr

Elhs LhsExpr

Full Usage: Elhs LhsExpr

Parameters:

Item : LhsExpr

Enat NatExpr

Full Usage: Enat NatExpr

Parameters:

Item : NatExpr

Ereal RealExpr

Full Usage: Ereal RealExpr

Parameters:

Item : RealExpr

Etup TupExpr

Full Usage: Etup TupExpr

Parameters:

Item : TupExpr

Instance members

Instance member Description

this.pprinter

Full Usage: this.pprinter

Returns: int -> PrnDrv -> unit

Returns: int -> PrnDrv -> unit