J2f-statement
Converts a json-statement to a leo::statement.
- Signature
(j2f-statement json-statement) → (mv erp leo-stmt)
- Arguments
- json-statement — Guard (json::valuep json-statement).
- Returns
- erp — Type (booleanp erp).
- leo-stmt — Type (statementp leo-stmt).
