package lambdapi

  1. Overview
  2. Docs
module F = Format
module J = Yojson.Basic
val debug_fmt : F.formatter ref
val log_error : string -> string -> unit
val log_object : string -> J.t -> unit
exception ReadError of string
val read_request : in_channel -> J.t
val send_json : F.formatter -> J.t -> unit