diff options
Diffstat (limited to 'lib/Json.ml')
| -rw-r--r-- | lib/Json.ml | 9 |
1 files changed, 9 insertions, 0 deletions
diff --git a/lib/Json.ml b/lib/Json.ml index db2de5d4..4aa91e95 100644 --- a/lib/Json.ml +++ b/lib/Json.ml @@ -31,3 +31,12 @@ let p_jbool oc = fprintf oc "%B" (* Print a int as json int *) let p_jint oc = fprintf oc "%d" + +(* Print a member *) +let p_jmember oc name p_mem mem = + fprintf oc "\n%a:%a" p_jstring name p_mem mem + +(* Print optional value *) +let p_jopt p_elem oc = function + | None -> output_string oc "null" + | Some i -> p_elem oc i |