|
|
|---|
|
|
|
|---|
Routines for encoding various ACL2 structures into JSON format.
This is a collection of printing routines for translating ACL2 structures into JSON format. These routines are mainly meant to make it easy to convert vl syntax into nice JSON data, but are somewhat flexible and may be useful for other applications.