package coq-serapi

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

Module Serlib.Ser_glob_termSource

Sourcetype binding_kind = Glob_term.binding_kind
Sourceval sexp_of_binding_kind : binding_kind -> Sexplib0.Sexp.t
Sourceval binding_kind_of_sexp : Sexplib0.Sexp.t -> binding_kind
Sourceval binding_kind_to_yojson : binding_kind -> Yojson.Safe.t
Sourceval hash_fold_binding_kind : Ppx_hash_lib.Std.Hash.state -> binding_kind -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_binding_kind : binding_kind -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_binding_kind : binding_kind -> binding_kind -> int
Sourcetype 'a glob_sort_gen = 'a Glob_term.glob_sort_gen
Sourceval sexp_of_glob_sort_gen : ('a -> Sexplib0.Sexp.t) -> 'a glob_sort_gen -> Sexplib0.Sexp.t
Sourceval glob_sort_gen_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a glob_sort_gen
Sourceval glob_sort_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a glob_sort_gen -> Yojson.Safe.t
Sourceval 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
Sourceval compare_glob_sort_gen : ('a -> 'a -> int) -> 'a glob_sort_gen -> 'a glob_sort_gen -> int
Sourcetype glob_level = Glob_term.glob_level
Sourceval sexp_of_glob_level : glob_level -> Sexplib0.Sexp.t
Sourceval glob_level_of_sexp : Sexplib0.Sexp.t -> glob_level
Sourceval glob_level_to_yojson : glob_level -> Yojson.Safe.t
Sourceval hash_fold_glob_level : Ppx_hash_lib.Std.Hash.state -> glob_level -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_level : glob_level -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_level : glob_level -> glob_level -> int
Sourcetype glob_sort = Glob_term.glob_sort
Sourceval sexp_of_glob_sort : glob_sort -> Sexplib0.Sexp.t
Sourceval glob_sort_of_sexp : Sexplib0.Sexp.t -> glob_sort
Sourceval glob_sort_to_yojson : glob_sort -> Yojson.Safe.t
Sourceval hash_fold_glob_sort : Ppx_hash_lib.Std.Hash.state -> glob_sort -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_sort : glob_sort -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_sort : glob_sort -> glob_sort -> int
Sourcetype glob_constraint = Glob_term.glob_constraint
Sourceval sexp_of_glob_constraint : glob_constraint -> Sexplib0.Sexp.t
Sourceval glob_constraint_of_sexp : Sexplib0.Sexp.t -> glob_constraint
Sourceval glob_constraint_to_yojson : glob_constraint -> Yojson.Safe.t
Sourceval hash_fold_glob_constraint : Ppx_hash_lib.Std.Hash.state -> glob_constraint -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_constraint : glob_constraint -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_constraint : glob_constraint -> glob_constraint -> int
Sourcetype existential_name = Glob_term.existential_name
Sourceval sexp_of_existential_name : existential_name -> Sexplib0.Sexp.t
Sourceval existential_name_of_sexp : Sexplib0.Sexp.t -> existential_name
Sourceval existential_name_to_yojson : existential_name -> Yojson.Safe.t
Sourceval hash_fold_existential_name : Ppx_hash_lib.Std.Hash.state -> existential_name -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_existential_name : existential_name -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_existential_name : existential_name -> existential_name -> int
Sourcetype cases_pattern = Glob_term.cases_pattern
Sourcetype glob_constr = Glob_term.glob_constr
Sourceand glob_decl = Glob_term.glob_decl
Sourceand predicate_pattern = Glob_term.predicate_pattern
Sourceand tomatch_tuple = Glob_term.tomatch_tuple
Sourceand tomatch_tuples = Glob_term.tomatch_tuples
Sourceand cases_clause = Glob_term.cases_clause
Sourceand cases_clauses = Glob_term.cases_clauses
Sourceval sexp_of_glob_constr : glob_constr -> Sexplib0.Sexp.t
Sourceval sexp_of_glob_decl : glob_decl -> Sexplib0.Sexp.t
Sourceval sexp_of_predicate_pattern : predicate_pattern -> Sexplib0.Sexp.t
Sourceval sexp_of_tomatch_tuple : tomatch_tuple -> Sexplib0.Sexp.t
Sourceval sexp_of_tomatch_tuples : tomatch_tuples -> Sexplib0.Sexp.t
Sourceval sexp_of_cases_clause : cases_clause -> Sexplib0.Sexp.t
Sourceval sexp_of_cases_clauses : cases_clauses -> Sexplib0.Sexp.t
Sourceval glob_constr_of_sexp : Sexplib0.Sexp.t -> glob_constr
Sourceval glob_decl_of_sexp : Sexplib0.Sexp.t -> glob_decl
Sourceval predicate_pattern_of_sexp : Sexplib0.Sexp.t -> predicate_pattern
Sourceval tomatch_tuple_of_sexp : Sexplib0.Sexp.t -> tomatch_tuple
Sourceval tomatch_tuples_of_sexp : Sexplib0.Sexp.t -> tomatch_tuples
Sourceval cases_clause_of_sexp : Sexplib0.Sexp.t -> cases_clause
Sourceval cases_clauses_of_sexp : Sexplib0.Sexp.t -> cases_clauses
Sourceval glob_constr_to_yojson : glob_constr -> Yojson.Safe.t
Sourceval glob_decl_to_yojson : glob_decl -> Yojson.Safe.t
Sourceval predicate_pattern_to_yojson : predicate_pattern -> Yojson.Safe.t
Sourceval tomatch_tuple_to_yojson : tomatch_tuple -> Yojson.Safe.t
Sourceval tomatch_tuples_to_yojson : tomatch_tuples -> Yojson.Safe.t
Sourceval cases_clause_to_yojson : cases_clause -> Yojson.Safe.t
Sourceval cases_clauses_to_yojson : cases_clauses -> Yojson.Safe.t
Sourceval hash_fold_glob_constr : Ppx_hash_lib.Std.Hash.state -> glob_constr -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_constr : glob_constr -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_glob_decl : Ppx_hash_lib.Std.Hash.state -> glob_decl -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_glob_decl : glob_decl -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_predicate_pattern : Ppx_hash_lib.Std.Hash.state -> predicate_pattern -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_predicate_pattern : predicate_pattern -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_tomatch_tuple : Ppx_hash_lib.Std.Hash.state -> tomatch_tuple -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_tomatch_tuple : tomatch_tuple -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_tomatch_tuples : Ppx_hash_lib.Std.Hash.state -> tomatch_tuples -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_tomatch_tuples : tomatch_tuples -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_cases_clause : Ppx_hash_lib.Std.Hash.state -> cases_clause -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_cases_clause : cases_clause -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval hash_fold_cases_clauses : Ppx_hash_lib.Std.Hash.state -> cases_clauses -> Ppx_hash_lib.Std.Hash.state
Sourceval hash_cases_clauses : cases_clauses -> Ppx_hash_lib.Std.Hash.hash_value
Sourceval compare_glob_constr : glob_constr -> glob_constr -> int
Sourceval compare_glob_decl : glob_decl -> glob_decl -> int
Sourceval compare_predicate_pattern : predicate_pattern -> predicate_pattern -> int
Sourceval compare_tomatch_tuple : tomatch_tuple -> tomatch_tuple -> int
Sourceval compare_tomatch_tuples : tomatch_tuples -> tomatch_tuples -> int
Sourceval compare_cases_clause : cases_clause -> cases_clause -> int
Sourceval 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