J2f-block-statement
Converts a JSON block statement into a leo::statement of kind :block.
- Signature
(j2f-block-statement json-block-statement)
→
(mv erp leo-block-statement)
- Arguments
- json-block-statement — Guard (json::memberp json-block-statement).
- Returns
- erp — Type (booleanp erp).
- leo-block-statement — Type (statementp leo-block-statement).
