package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type tag = Vmvalues.tag
val tag_of_sexp : Sexplib.Sexp.t -> tag
val sexp_of_tag : tag -> Sexplib.Sexp.t
type structured_constant = Vmvalues.structured_constant
val sexp_of_structured_constant : structured_constant -> Sexplib0.Sexp.t
val structured_constant_of_sexp : Sexplib0.Sexp.t -> structured_constant
val structured_constant_to_yojson : structured_constant -> Yojson.Safe.t
val hash_fold_structured_constant : Base.Hash.state -> structured_constant -> Base.Hash.state
val hash_structured_constant : structured_constant -> Base.Hash.hash_value
val compare_structured_constant : structured_constant -> structured_constant -> int
type reloc_table = Vmvalues.reloc_table
val sexp_of_reloc_table : reloc_table -> Sexplib0.Sexp.t
val reloc_table_of_sexp : Sexplib0.Sexp.t -> reloc_table
val reloc_table_to_yojson : reloc_table -> Yojson.Safe.t
val hash_fold_reloc_table : Base.Hash.state -> reloc_table -> Base.Hash.state
val hash_reloc_table : reloc_table -> Base.Hash.hash_value
val compare_reloc_table : reloc_table -> reloc_table -> int
type annot_switch = Vmvalues.annot_switch
val sexp_of_annot_switch : annot_switch -> Sexplib0.Sexp.t
val annot_switch_of_sexp : Sexplib0.Sexp.t -> annot_switch
val annot_switch_to_yojson : annot_switch -> Yojson.Safe.t
val hash_fold_annot_switch : Base.Hash.state -> annot_switch -> Base.Hash.state
val hash_annot_switch : annot_switch -> Base.Hash.hash_value
val compare_annot_switch : annot_switch -> annot_switch -> 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