package coq-serapi

  1. Overview
  2. Docs
Serialization library and protocol for machine interaction with the Coq proof assistant

Install

Dune Dependency

Authors

Maintainers

Sources

coq-serapi-8.15.0.0.15.4.tbz
sha256=cffb0eacd9d155434f7cf384418c78a9d1cf189b65b080a456f50d9d3c3dcf5c
sha512=77eada7c9f2979ee8b00704ed49e65f6e0aadb1a24b73bb89581bf624f330d141340e0dfecd8b1517a11b2a9d823d8f84fcbdea419cc99536557019c5951b80e

doc/coq-serapi.serlib/Serlib/Ser_notation_term/index.html

Module Serlib.Ser_notation_termSource

Sourcetype subscopes = Notation_term.subscopes
Sourceval sexp_of_subscopes : subscopes -> Sexplib0.Sexp.t
Sourceval subscopes_of_sexp : Sexplib0.Sexp.t -> subscopes
Sourceval subscopes_to_yojson : subscopes -> Yojson.Safe.t
Sourceval hash_fold_subscopes : Ppx_hash_lib.Std.Hash.state -> subscopes -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_subscopes : subscopes -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_subscopes : subscopes -> subscopes -> int
Sourcetype constr_as_binder_kind = Notation_term.constr_as_binder_kind
Sourceval sexp_of_constr_as_binder_kind : constr_as_binder_kind -> Sexplib0.Sexp.t
Sourceval constr_as_binder_kind_of_sexp : Sexplib0.Sexp.t -> constr_as_binder_kind
Sourceval constr_as_binder_kind_to_yojson : constr_as_binder_kind -> Yojson.Safe.t
Sourceval hash_fold_constr_as_binder_kind : Ppx_hash_lib.Std.Hash.state -> constr_as_binder_kind -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_constr_as_binder_kind : constr_as_binder_kind -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_constr_as_binder_kind : constr_as_binder_kind -> constr_as_binder_kind -> int
Sourcetype notation_var_internalization_type = Notation_term.notation_var_internalization_type
Sourceval sexp_of_notation_var_internalization_type : notation_var_internalization_type -> Sexplib0.Sexp.t
Sourceval notation_var_internalization_type_of_sexp : Sexplib0.Sexp.t -> notation_var_internalization_type
Sourceval notation_var_internalization_type_to_yojson : notation_var_internalization_type -> Yojson.Safe.t
Sourceval hash_fold_notation_var_internalization_type : Ppx_hash_lib.Std.Hash.state -> notation_var_internalization_type -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_notation_var_internalization_type : notation_var_internalization_type -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_notation_var_internalization_type : notation_var_internalization_type -> notation_var_internalization_type -> int
OCaml

Innovation. Community. Security.