lambdapi

Proof assistant for the λΠ-calculus modulo rewriting
package lambdapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library lambdapi.lsp
Module Lsp . Lsp_base
module J = Yojson.Basic
val std_protocol : bool 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