BasicExprFolding<'a> (Averest)

BasicExprFolding<'a> Type

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