package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type subscopes = Notation_term.subscopes
val sexp_of_subscopes : subscopes -> Sexplib0.Sexp.t
val subscopes_of_sexp : Sexplib0.Sexp.t -> subscopes
val subscopes_to_yojson : subscopes -> Yojson.Safe.t
val hash_fold_subscopes : Base.Hash.state -> subscopes -> Base.Hash.state
val hash_subscopes : subscopes -> Base.Hash.hash_value
val compare_subscopes : subscopes -> subscopes -> int
type constr_as_binder_kind = Notation_term.constr_as_binder_kind
val sexp_of_constr_as_binder_kind : constr_as_binder_kind -> Sexplib0.Sexp.t
val constr_as_binder_kind_of_sexp : Sexplib0.Sexp.t -> constr_as_binder_kind
val constr_as_binder_kind_to_yojson : constr_as_binder_kind -> Yojson.Safe.t
val hash_fold_constr_as_binder_kind : Base.Hash.state -> constr_as_binder_kind -> Base.Hash.state
val hash_constr_as_binder_kind : constr_as_binder_kind -> Base.Hash.hash_value
val compare_constr_as_binder_kind : constr_as_binder_kind -> constr_as_binder_kind -> int
type notation_var_internalization_type = Notation_term.notation_var_internalization_type
val sexp_of_notation_var_internalization_type : notation_var_internalization_type -> Sexplib0.Sexp.t
val notation_var_internalization_type_of_sexp : Sexplib0.Sexp.t -> notation_var_internalization_type
val notation_var_internalization_type_to_yojson : notation_var_internalization_type -> Yojson.Safe.t
val notation_var_internalization_type_of_yojson : Yojson.Safe.t -> notation_var_internalization_type Ppx_deriving_yojson_runtime.error_or
val hash_fold_notation_var_internalization_type : Base.Hash.state -> notation_var_internalization_type -> Base.Hash.state
val hash_notation_var_internalization_type : notation_var_internalization_type -> Base.Hash.hash_value
val compare_notation_var_internalization_type : notation_var_internalization_type -> notation_var_internalization_type -> int
OCaml

Innovation. Community. Security.

GitHub Discord Twitter Peertube RSS
About
Changelog Releases Industrial Users Academic Users Why OCaml
Ecosystem
Packages Community Events OCaml Planet Jobs
Resources
Install OCaml Get Started Platform Tools Language Manual Standard Library API Books Exercises Papers OCaml Playground Logo
Policies
Carbon Footprint Governance Privacy Code of Conduct