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
module Info : sig ... endtype 'a interp_result = 'a Info.t Protect.R.tval interp :
st:State.t ->
fb_queue:Message.t list Stdlib.ref ->
Ast.t ->
State.t interp_resultval marshal_in :
(Stdlib.in_channel -> 'a) ->
Stdlib.in_channel ->
'a interp_resultval marshal_out :
(Stdlib.out_channel -> 'a -> unit) ->
Stdlib.out_channel ->
'a interp_result ->
unit