Up – Package index » coq-lsp » Library coq-lsp.lsp » Lsp » JCoq » Ast

Module `JCoq.Ast`Source

Sourcetype t = Coq.Ast.t

Sourceval to_yojson : Coq.Ast.t -> Yojson.Safe.t

Sourceval of_yojson : Yojson.Safe.t -> (Coq.Ast.t, string) result