package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type binding_kind = Glob_term.binding_kind
val sexp_of_binding_kind : binding_kind -> Sexplib0.Sexp.t
val binding_kind_of_sexp : Sexplib0.Sexp.t -> binding_kind
val binding_kind_to_yojson : binding_kind -> Yojson.Safe.t
val binding_kind_of_yojson : Yojson.Safe.t -> binding_kind Ppx_deriving_yojson_runtime.error_or
val hash_fold_binding_kind : Ppx_hash_lib.Std.Hash.state -> binding_kind -> Ppx_hash_lib.Std.Hash.state
val hash_binding_kind : binding_kind -> Ppx_hash_lib.Std.Hash.hash_value
val compare_binding_kind : binding_kind -> binding_kind -> int
type 'a glob_sort_gen = 'a Glob_term.glob_sort_gen
val sexp_of_glob_sort_gen : ('a -> Sexplib0.Sexp.t) -> 'a glob_sort_gen -> Sexplib0.Sexp.t
val glob_sort_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a glob_sort_gen
val glob_sort_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_sort_gen -> Yojson.Safe.t
val glob_sort_gen_of_yojson : (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a glob_sort_gen Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_sort_gen : (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a glob_sort_gen -> Ppx_hash_lib.Std.Hash.state
val compare_glob_sort_gen : ('a -> 'a -> int) -> 'a glob_sort_gen -> 'a glob_sort_gen -> int
type glob_level = Glob_term.glob_level
val sexp_of_glob_level : glob_level -> Sexplib0.Sexp.t
val glob_level_of_sexp : Sexplib0.Sexp.t -> glob_level
val glob_level_to_yojson : glob_level -> Yojson.Safe.t
val glob_level_of_yojson : Yojson.Safe.t -> glob_level Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_level : Ppx_hash_lib.Std.Hash.state -> glob_level -> Ppx_hash_lib.Std.Hash.state
val hash_glob_level : glob_level -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_level : glob_level -> glob_level -> int
type glob_sort = Glob_term.glob_sort
val sexp_of_glob_sort : glob_sort -> Sexplib0.Sexp.t
val glob_sort_of_sexp : Sexplib0.Sexp.t -> glob_sort
val glob_sort_to_yojson : glob_sort -> Yojson.Safe.t
val glob_sort_of_yojson : Yojson.Safe.t -> glob_sort Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_sort : Ppx_hash_lib.Std.Hash.state -> glob_sort -> Ppx_hash_lib.Std.Hash.state
val hash_glob_sort : glob_sort -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_sort : glob_sort -> glob_sort -> int
type glob_constraint = Glob_term.glob_constraint
val sexp_of_glob_constraint : glob_constraint -> Sexplib0.Sexp.t
val glob_constraint_of_sexp : Sexplib0.Sexp.t -> glob_constraint
val glob_constraint_to_yojson : glob_constraint -> Yojson.Safe.t
val glob_constraint_of_yojson : Yojson.Safe.t -> glob_constraint Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_constraint : Ppx_hash_lib.Std.Hash.state -> glob_constraint -> Ppx_hash_lib.Std.Hash.state
val hash_glob_constraint : glob_constraint -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_constraint : glob_constraint -> glob_constraint -> int
type existential_name = Glob_term.existential_name
val sexp_of_existential_name : existential_name -> Sexplib0.Sexp.t
val existential_name_of_sexp : Sexplib0.Sexp.t -> existential_name
val existential_name_to_yojson : existential_name -> Yojson.Safe.t
val existential_name_of_yojson : Yojson.Safe.t -> existential_name Ppx_deriving_yojson_runtime.error_or
val hash_fold_existential_name : Ppx_hash_lib.Std.Hash.state -> existential_name -> Ppx_hash_lib.Std.Hash.state
val hash_existential_name : existential_name -> Ppx_hash_lib.Std.Hash.hash_value
val compare_existential_name : existential_name -> existential_name -> int
type cases_pattern = Glob_term.cases_pattern
type glob_constr = Glob_term.glob_constr
and glob_decl = Glob_term.glob_decl
and predicate_pattern = Glob_term.predicate_pattern
and tomatch_tuple = Glob_term.tomatch_tuple
and tomatch_tuples = Glob_term.tomatch_tuples
and cases_clause = Glob_term.cases_clause
and cases_clauses = Glob_term.cases_clauses
val sexp_of_glob_constr : glob_constr -> Sexplib0.Sexp.t
val sexp_of_glob_decl : glob_decl -> Sexplib0.Sexp.t
val sexp_of_predicate_pattern : predicate_pattern -> Sexplib0.Sexp.t
val sexp_of_tomatch_tuple : tomatch_tuple -> Sexplib0.Sexp.t
val sexp_of_tomatch_tuples : tomatch_tuples -> Sexplib0.Sexp.t
val sexp_of_cases_clause : cases_clause -> Sexplib0.Sexp.t
val sexp_of_cases_clauses : cases_clauses -> Sexplib0.Sexp.t
val glob_constr_of_sexp : Sexplib0.Sexp.t -> glob_constr
val glob_decl_of_sexp : Sexplib0.Sexp.t -> glob_decl
val predicate_pattern_of_sexp : Sexplib0.Sexp.t -> predicate_pattern
val tomatch_tuple_of_sexp : Sexplib0.Sexp.t -> tomatch_tuple
val tomatch_tuples_of_sexp : Sexplib0.Sexp.t -> tomatch_tuples
val cases_clause_of_sexp : Sexplib0.Sexp.t -> cases_clause
val cases_clauses_of_sexp : Sexplib0.Sexp.t -> cases_clauses
val glob_constr_to_yojson : glob_constr -> Yojson.Safe.t
val glob_constr_of_yojson : Yojson.Safe.t -> glob_constr Ppx_deriving_yojson_runtime.error_or
val glob_decl_to_yojson : glob_decl -> Yojson.Safe.t
val glob_decl_of_yojson : Yojson.Safe.t -> glob_decl Ppx_deriving_yojson_runtime.error_or
val predicate_pattern_to_yojson : predicate_pattern -> Yojson.Safe.t
val predicate_pattern_of_yojson : Yojson.Safe.t -> predicate_pattern Ppx_deriving_yojson_runtime.error_or
val tomatch_tuple_to_yojson : tomatch_tuple -> Yojson.Safe.t
val tomatch_tuple_of_yojson : Yojson.Safe.t -> tomatch_tuple Ppx_deriving_yojson_runtime.error_or
val tomatch_tuples_to_yojson : tomatch_tuples -> Yojson.Safe.t
val tomatch_tuples_of_yojson : Yojson.Safe.t -> tomatch_tuples Ppx_deriving_yojson_runtime.error_or
val cases_clause_to_yojson : cases_clause -> Yojson.Safe.t
val cases_clause_of_yojson : Yojson.Safe.t -> cases_clause Ppx_deriving_yojson_runtime.error_or
val cases_clauses_to_yojson : cases_clauses -> Yojson.Safe.t
val cases_clauses_of_yojson : Yojson.Safe.t -> cases_clauses Ppx_deriving_yojson_runtime.error_or
val hash_fold_glob_constr : Ppx_hash_lib.Std.Hash.state -> glob_constr -> Ppx_hash_lib.Std.Hash.state
val hash_glob_constr : glob_constr -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_glob_decl : Ppx_hash_lib.Std.Hash.state -> glob_decl -> Ppx_hash_lib.Std.Hash.state
val hash_glob_decl : glob_decl -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_predicate_pattern : Ppx_hash_lib.Std.Hash.state -> predicate_pattern -> Ppx_hash_lib.Std.Hash.state
val hash_predicate_pattern : predicate_pattern -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_tomatch_tuple : Ppx_hash_lib.Std.Hash.state -> tomatch_tuple -> Ppx_hash_lib.Std.Hash.state
val hash_tomatch_tuple : tomatch_tuple -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_tomatch_tuples : Ppx_hash_lib.Std.Hash.state -> tomatch_tuples -> Ppx_hash_lib.Std.Hash.state
val hash_tomatch_tuples : tomatch_tuples -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_cases_clause : Ppx_hash_lib.Std.Hash.state -> cases_clause -> Ppx_hash_lib.Std.Hash.state
val hash_cases_clause : cases_clause -> Ppx_hash_lib.Std.Hash.hash_value
val hash_fold_cases_clauses : Ppx_hash_lib.Std.Hash.state -> cases_clauses -> Ppx_hash_lib.Std.Hash.state
val hash_cases_clauses : cases_clauses -> Ppx_hash_lib.Std.Hash.hash_value
val compare_glob_constr : glob_constr -> glob_constr -> int
val compare_glob_decl : glob_decl -> glob_decl -> int
val compare_predicate_pattern : predicate_pattern -> predicate_pattern -> int
val compare_tomatch_tuple : tomatch_tuple -> tomatch_tuple -> int
val compare_tomatch_tuples : tomatch_tuples -> tomatch_tuples -> int
val compare_cases_clause : cases_clause -> cases_clause -> int
val compare_cases_clauses : cases_clauses -> cases_clauses -> 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