Astral_internal.Json_output
val print : Context.t -> unit
Print json representation of results to standard output.
val output : string -> Context.t -> unit
Write results to a json file given by path