package coq-lsp

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

Module Serlib.Ser_mod_declarationsSource

Sourcetype module_body = Mod_declarations.module_body
Sourceval sexp_of_module_body : module_body -> Sexplib0.Sexp.t
Sourceval module_body_of_sexp : Sexplib0.Sexp.t -> module_body
Sourceval module_body_to_yojson : module_body -> Yojson.Safe.t
Sourceval module_body_of_yojson : Yojson.Safe.t -> module_body Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_module_body : Ppx_hash_lib.Std.Hash.state -> module_body -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_module_body : module_body -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_module_body : module_body -> module_body -> int
Sourcetype module_type_body = Mod_declarations.module_type_body
Sourceval sexp_of_module_type_body : module_type_body -> Sexplib0.Sexp.t
Sourceval module_type_body_of_sexp : Sexplib0.Sexp.t -> module_type_body
Sourceval module_type_body_to_yojson : module_type_body -> Yojson.Safe.t
Sourceval module_type_body_of_yojson : Yojson.Safe.t -> module_type_body Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_module_type_body : Ppx_hash_lib.Std.Hash.state -> module_type_body -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_module_type_body : module_type_body -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_module_type_body : module_type_body -> module_type_body -> int
Sourcetype structure_body = Mod_declarations.structure_body
Sourceval sexp_of_structure_body : structure_body -> Sexplib0.Sexp.t
Sourceval structure_body_of_sexp : Sexplib0.Sexp.t -> structure_body
Sourceval structure_body_to_yojson : structure_body -> Yojson.Safe.t
Sourceval structure_body_of_yojson : Yojson.Safe.t -> structure_body Ppx_deriving_yojson_runtime.error_or
Sourceval hash_fold_structure_body : Ppx_hash_lib.Std.Hash.state -> structure_body -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_structure_body : structure_body -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_structure_body : structure_body -> structure_body -> int