J2f-if-statement-tail
Converts a JSON if statement's 'otherwise' object into a
leo::branch-list and a final else leo::statement-list.
- Signature
(j2f-if-statement-tail json-conditional-next-value)
→
(mv erp branches last-else-statements)
- Arguments
- json-conditional-next-value — Guard (json::valuep json-conditional-next-value).
- Returns
- erp — Type (booleanp erp).
- branches — Type (branch-listp branches).
- last-else-statements — Type (statement-listp last-else-statements).
