Valid-const-expr-option
Validate an optional constant expression.
- Signature
(valid-const-expr-option cexpr? table ienv)
→
(mv erp new-cexpr? type? return-types new-table)
- Arguments
- cexpr? — Guard (const-expr-optionp cexpr?).
- table — Guard (valid-tablep table).
- ienv — Guard (ienvp ienv).
- Returns
- erp — Type (maybe-msgp erp).
- new-cexpr? — Type (const-expr-optionp new-cexpr?).
- type? — Type (type-optionp type?).
- return-types — Type (type-setp return-types).
- new-table — Type (valid-tablep new-table).
If there is no constant expression,
we return nil as the optional type,
we return the empty set of return types,
and the validation table unchanged.
