Top

Abstract-syntax-collect-idents

Expr-option-collect-idents

Signature
(expr-option-collect-idents c$::expr-option) → fty::result
Arguments: c$::expr-option — Guard (expr-optionp c$::expr-option).
Returns: fty::result — Type (ident-setp fty::result).