package coq-lsp

  1. Overview
  2. Docs
package coq-lsp
Legend:
Page
Library
Module
Module type
Parameter
Class
Class type
Source

Module JCoq.GoalsSource

Sourcetype ('a, 'pp) t = ('a, 'pp) Coq.Goals.t
Sourceval to_yojson : ('a -> Yojson.Safe.t) -> ('pp -> Yojson.Safe.t) -> ('a, 'pp) t -> Yojson.Safe.t
Sourcetype ('a, 'pp) reified = ('a, 'pp) Coq.Goals.reified
Sourceval reified_to_yojson : ('a -> Yojson.Safe.t) -> ('pp -> Yojson.Safe.t) -> ('a, 'pp) reified -> Yojson.Safe.t