Hax_io.S
val read_json : Prelude.unit -> Yojson.Safe.t Prelude.option
val write_json : Yojson.Safe.t -> Prelude.unit