ExprMapping (Averest)

ExprMapping Type

Record Field	Description
`arr` Full Usage: `arr` Field type: `ArrExpr -> ArrExpr`	Field type: `ArrExpr -> ArrExpr`
`bool` Full Usage: `bool` Field type: `BoolExpr -> BoolExpr`	Field type: `BoolExpr -> BoolExpr`
`btv` Full Usage: `btv` Field type: `BtvExpr -> BtvExpr`	Field type: `BtvExpr -> BtvExpr`
`int` Full Usage: `int` Field type: `IntExpr -> IntExpr`	Field type: `IntExpr -> IntExpr`
`lhs` Full Usage: `lhs` Field type: `LhsExpr -> LhsExpr`	Field type: `LhsExpr -> LhsExpr`
`nat` Full Usage: `nat` Field type: `NatExpr -> NatExpr`	Field type: `NatExpr -> NatExpr`
`real` Full Usage: `real` Field type: `RealExpr -> RealExpr`	Field type: `RealExpr -> RealExpr`
`tup` Full Usage: `tup` Field type: `TupExpr -> TupExpr`	Field type: `TupExpr -> TupExpr`