emit the dep fns info into a top level json array 'nested_functions'

src/sail_json_backend/json.ml

@@ -540,6 +540,8 @@ let json_of_extensions k =
     None -> ""
   | Some (l) -> String.concat "," l
 
+let json_of_dependent_functions = ()
+
 let json_of_instruction k v =
     "{\n" ^
     "  \"mnemonic\": " ^ (json_of_mnemonic (List.hd v)) ^ ",\n" ^
@@ -670,5 +672,12 @@ let defs { defs; _ } =
   print_endline "  \"extensions\": [";
   let extension_list = Hashtbl.fold (fun k v accum -> v :: accum) extensions [] in
     print_endline (String.concat ",\n" (List.sort_uniq String.compare (List.concat extension_list)));
+  print_endline "  ],";
+
+  print_endline "  \"nested_functions\": [";
+  Hashtbl.iter (fun name source ->
+    print_endline ("  {\n    \"name\": \"" ^ name ^ "\",");
+    print_endline ("    \"source\": \"" ^ String.escaped source ^ "\"\n  },")
+  ) nested_functions;
   print_endline "  ]";
   print_endline "}";