Hax_io (hax-engine.Hax_engine.Hax

module type S = sig ... end

include sig ... end

include S

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

val write_json : Yojson.Safe.t -> Prelude.unit

val init : (module S) -> Prelude.unit

val read : unit -> Types.to_engine

val write : Types.from_engine -> Prelude.unit

val close : unit -> Prelude.unit

val request : 
  expected:Hax_engine.Prelude.String.t ->
  Types.from_engine ->
  (Types.to_engine -> 'a Prelude.option) ->
  'a0