PartialExprMapping (Averest)

PartialExprMapping Type

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