package lambdapi

  1. Overview
  2. Docs
module J = Yojson.Basic
val std_protocol : bool Stdlib.ref
val mk_range : Common.Pos.pos -> J.t
val mk_reply : id:int -> result:J.t -> J.t
val mk_diagnostics : uri:string -> version:int -> (Common.Pos.pos * int * string * Pure.goal list option) list -> J.t
val json_of_goals : ?logs:string -> Pure.goal list option -> J.t