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 binding_kind_of_sexp : Sexplib.Sexp.t -> Glob_term.binding_kind
Sourceval sexp_of_binding_kind : Glob_term.binding_kind -> Sexplib.Sexp.t
Sourceval binding_kind_of_yojson : Yojson.Safe.t -> (binding_kind, string) result
Sourceval binding_kind_to_yojson : Glob_term.binding_kind -> Yojson.Safe.t
Sourcetype 'a glob_sort_gen = 'a Glob_term.glob_sort_gen
Sourceval glob_sort_gen_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Glob_term.glob_sort_gen
Sourceval sexp_of_glob_sort_gen : ('a -> Sexplib.Sexp.t) -> 'a Glob_term.glob_sort_gen -> Sexplib.Sexp.t
Sourceval glob_sort_gen_of_yojson : (Yojson.Safe.t -> ('a, string) result) -> Yojson.Safe.t -> ('a glob_sort_gen, string) result
Sourceval glob_sort_gen_to_yojson : ('a -> Yojson.Safe.t) -> 'a Glob_term.glob_sort_gen -> Yojson.Safe.t
Sourcetype glob_level = Glob_term.glob_level
Sourceval glob_level_of_sexp : Sexplib.Sexp.t -> Glob_term.glob_level
Sourceval sexp_of_glob_level : Glob_term.glob_level -> Sexplib.Sexp.t
Sourceval glob_level_of_yojson : Yojson.Safe.t -> (glob_level, string) result
Sourceval glob_level_to_yojson : Glob_term.glob_level -> Yojson.Safe.t
Sourcetype glob_sort = Glob_term.glob_sort
Sourceval glob_sort_of_sexp : Sexplib.Sexp.t -> Glob_term.glob_sort
Sourceval sexp_of_glob_sort : Glob_term.glob_sort -> Sexplib.Sexp.t
Sourceval glob_sort_of_yojson : Yojson.Safe.t -> (glob_sort, string) Result.result
Sourceval glob_sort_to_yojson : glob_sort -> Yojson.Safe.t
Sourcetype 'a cast_type = 'a Glob_term.cast_type
Sourceval cast_type_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a Glob_term.cast_type
Sourceval sexp_of_cast_type : ('a -> Sexplib.Sexp.t) -> 'a Glob_term.cast_type -> Sexplib.Sexp.t
Sourceval cast_type_of_yojson : (Yojson.Safe.t -> ('a, string) result) -> Yojson.Safe.t -> ('a cast_type, string) Result.result
Sourceval cast_type_to_yojson : ('a -> Yojson.Safe.t) -> 'a cast_type -> Yojson.Safe.t
Sourcetype glob_constraint = Glob_term.glob_constraint
Sourceval glob_constraint_of_sexp : Sexplib.Sexp.t -> Glob_term.glob_constraint
Sourceval sexp_of_glob_constraint : Glob_term.glob_constraint -> Sexplib.Sexp.t
Sourceval glob_constraint_of_yojson : Yojson.Safe.t -> (glob_constraint, string) Result.result
Sourceval glob_constraint_to_yojson : glob_constraint -> Yojson.Safe.t
Sourcetype existential_name = Glob_term.existential_name
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 existential_name_of_sexp : Sexplib.Sexp.t -> Glob_term.existential_name
Sourceval sexp_of_existential_name : Glob_term.existential_name -> Sexplib.Sexp.t
Sourceval existential_name_of_yojson : Yojson.Safe.t -> (existential_name, string) Result.result
Sourceval existential_name_to_yojson : existential_name -> Yojson.Safe.t
Sourceval cases_pattern_of_sexp : Sexplib.Sexp.t -> cases_pattern
Sourceval sexp_of_cases_pattern : cases_pattern -> Sexplib.Sexp.t
Sourceval glob_constr_of_sexp : Sexplib.Sexp.t -> glob_constr
Sourceval sexp_of_glob_constr : glob_constr -> Sexplib.Sexp.t
Sourceval glob_decl_of_sexp : Sexplib.Sexp.t -> glob_decl
Sourceval sexp_of_glob_decl : glob_decl -> Sexplib.Sexp.t
Sourceval predicate_pattern_of_sexp : Sexplib.Sexp.t -> predicate_pattern
Sourceval sexp_of_predicate_pattern : predicate_pattern -> Sexplib.Sexp.t
Sourceval tomatch_tuple_of_sexp : Sexplib.Sexp.t -> tomatch_tuple
Sourceval sexp_of_tomatch_tuple : tomatch_tuple -> Sexplib.Sexp.t
Sourceval tomatch_tuples_of_sexp : Sexplib.Sexp.t -> tomatch_tuples
Sourceval sexp_of_tomatch_tuples : tomatch_tuples -> Sexplib.Sexp.t
Sourceval cases_clause_of_sexp : Sexplib.Sexp.t -> cases_clause
Sourceval sexp_of_cases_clause : cases_clause -> Sexplib.Sexp.t
Sourceval cases_clauses_of_sexp : Sexplib.Sexp.t -> cases_clauses
Sourceval sexp_of_cases_clauses : cases_clauses -> Sexplib.Sexp.t
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