Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
package coq-lsp
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library
Module
Module type
Parameter
Class
Class type
val hyp_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a hyp -> Yojson.Safe.tval hyp_of_yojson :
'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
Yojson.Safe.t ->
'a hyp Ppx_deriving_yojson_runtime.error_orval info_to_yojson : info -> Yojson.Safe.tval info_of_yojson : Yojson.Safe.t -> info Ppx_deriving_yojson_runtime.error_orval reified_goal_to_yojson :
'a. ('a -> Yojson.Safe.t) ->
'a reified_goal ->
Yojson.Safe.tval reified_goal_of_yojson :
'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
Yojson.Safe.t ->
'a reified_goal Ppx_deriving_yojson_runtime.error_ortype 'a goals = 'a Coq.Goals.goals = {goals : 'a list;stack : ('a list * 'a list) list;bullet : Pp.t option;shelf : 'a list;given_up : 'a list;
}val goals_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a goals -> Yojson.Safe.tval goals_of_yojson :
'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) ->
Yojson.Safe.t ->
'a goals Ppx_deriving_yojson_runtime.error_ortype reified_pp = Pp.t reified_goal goalsval reified_pp_to_yojson : reified_pp -> Yojson.Safe.tval reified_pp_of_yojson :
Yojson.Safe.t ->
reified_pp Ppx_deriving_yojson_runtime.error_orval _ : Yojson.Safe.t -> reified_pp Ppx_deriving_yojson_runtime.error_or