J2f-statements
Converts a list of json-statement to a leo::statement-list.
- Signature
(j2f-statements json-statements) → (mv erp leo-statements)
- Arguments
- json-statements — Guard (json::value-listp json-statements).
- Returns
- erp — Type (booleanp erp).
- leo-statements — Type (statement-listp leo-statements).
