package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module Level : SerType.SJHC with type t = Univ.Level.t
module Universe : SerType.SJHC with type t = Univ.Universe.t
type constraint_type = Univ.constraint_type
val sexp_of_constraint_type : constraint_type -> Sexplib0.Sexp.t
val constraint_type_of_sexp : Sexplib0.Sexp.t -> constraint_type
val constraint_type_to_yojson : constraint_type -> Yojson.Safe.t
val constraint_type_of_yojson : Yojson.Safe.t -> constraint_type Ppx_deriving_yojson_runtime.error_or
val hash_fold_constraint_type : Ppx_hash_lib.Std.Hash.state -> constraint_type -> Ppx_hash_lib.Std.Hash.state
val hash_constraint_type : constraint_type -> Ppx_hash_lib.Std.Hash.hash_value
val compare_constraint_type : constraint_type -> constraint_type -> int
type univ_constraint = Univ.univ_constraint
val univ_constraint_of_sexp : Sexplib.Sexp.t -> univ_constraint
val sexp_of_univ_constraint : univ_constraint -> Sexplib.Sexp.t
module Constraints : SerType.SJHC with type t = Univ.Constraints.t
module ContextSet : SerType.SJHC with type t = Univ.ContextSet.t
type 'a in_universe_context_set = 'a Univ.in_universe_context_set
val in_universe_context_set_of_sexp : (Sexplib.Sexp.t -> 'a) -> Sexplib.Sexp.t -> 'a in_universe_context_set
val sexp_of_in_universe_context_set : ('a -> Sexplib.Sexp.t) -> 'a in_universe_context_set -> 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