Check-safe-block-option
Check if an optional block is safe.
- Signature
(check-safe-block-option block? varset funtab) → modes
- Arguments
- block? — Guard (block-optionp block?).
- varset — Guard (identifier-setp varset).
- funtab — Guard (funtablep funtab).
- Returns
- modes — Type (mode-set-resultp modes).
If there is no block,
the check succeeds and we return just regular mode.
If there is a block, we check it.
