package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type arity_error = Type_errors.arity_error
val arity_error_of_sexp : Sexplib.Sexp.t -> arity_error
val sexp_of_arity_error : arity_error -> Sexplib.Sexp.t
type guard_error = Type_errors.guard_error
val guard_error_of_sexp : Sexplib.Sexp.t -> guard_error
val sexp_of_guard_error : guard_error -> Sexplib.Sexp.t
type ('c, 't) ptype_error = ('c, 't) Type_errors.ptype_error
val ptype_error_of_sexp : (Sexplib.Sexp.t -> 'constr) -> (Sexplib.Sexp.t -> 'types) -> Sexplib.Sexp.t -> ('constr, 'types) ptype_error
val sexp_of_ptype_error : ('constr -> Sexplib.Sexp.t) -> ('types -> Sexplib.Sexp.t) -> ('constr, 'types) ptype_error -> Sexplib.Sexp.t
type type_error = Type_errors.type_error
val type_error_of_sexp : Sexplib.Sexp.t -> type_error
val sexp_of_type_error : type_error -> Sexplib.Sexp.t