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