package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Store : SerType.SJHC with type t = Genintern.Store.t
type intern_variable_status = Genintern.intern_variable_status
val intern_variable_status_to_yojson : intern_variable_status -> Yojson.Safe.t
val sexp_of_intern_variable_status : intern_variable_status -> Sexplib0.Sexp.t
val intern_variable_status_of_sexp : Sexplib0.Sexp.t -> intern_variable_status
val hash_fold_intern_variable_status : Base.Hash.state -> intern_variable_status -> Base.Hash.state
val hash_intern_variable_status : intern_variable_status -> Base.Hash.hash_value
val compare_intern_variable_status : intern_variable_status -> intern_variable_status -> int
type glob_sign = Genintern.glob_sign
val glob_sign_of_sexp : Sexplib.Sexp.t -> glob_sign
val sexp_of_glob_sign : glob_sign -> Sexplib.Sexp.t
type glob_constr_and_expr = Genintern.glob_constr_and_expr
val glob_constr_and_expr_to_yojson : glob_constr_and_expr -> Yojson.Safe.t
val sexp_of_glob_constr_and_expr : glob_constr_and_expr -> Sexplib0.Sexp.t
val glob_constr_and_expr_of_sexp : Sexplib0.Sexp.t -> glob_constr_and_expr
val hash_fold_glob_constr_and_expr : Base.Hash.state -> glob_constr_and_expr -> Base.Hash.state
val hash_glob_constr_and_expr : glob_constr_and_expr -> Base.Hash.hash_value
val compare_glob_constr_and_expr : glob_constr_and_expr -> glob_constr_and_expr -> int
type glob_constr_pattern_and_expr = Genintern.glob_constr_pattern_and_expr
val glob_constr_pattern_and_expr_to_yojson : glob_constr_pattern_and_expr -> Yojson.Safe.t
val sexp_of_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> Sexplib0.Sexp.t
val glob_constr_pattern_and_expr_of_sexp : Sexplib0.Sexp.t -> glob_constr_pattern_and_expr
val hash_fold_glob_constr_pattern_and_expr : Base.Hash.state -> glob_constr_pattern_and_expr -> Base.Hash.state
val hash_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> Base.Hash.hash_value
val compare_glob_constr_pattern_and_expr : glob_constr_pattern_and_expr -> glob_constr_pattern_and_expr -> int