package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type patches = Vmemitcodes.patches
val sexp_of_patches : patches -> Sexplib0.Sexp.t
val patches_of_sexp : Sexplib0.Sexp.t -> patches
val patches_to_yojson : patches -> Yojson.Safe.t
val hash_fold_patches : Base.Hash.state -> patches -> Base.Hash.state
val hash_patches : patches -> Base.Hash.hash_value
val compare_patches : patches -> patches -> int
type to_patch = Vmemitcodes.to_patch
val sexp_of_to_patch : to_patch -> Sexplib0.Sexp.t
val to_patch_of_sexp : Sexplib0.Sexp.t -> to_patch
val to_patch_to_yojson : to_patch -> Yojson.Safe.t
val hash_fold_to_patch : Base.Hash.state -> to_patch -> Base.Hash.state
val hash_to_patch : to_patch -> Base.Hash.hash_value
val compare_to_patch : to_patch -> to_patch -> int
type body_code = Vmemitcodes.body_code
val sexp_of_body_code : body_code -> Sexplib0.Sexp.t
val body_code_of_sexp : Sexplib0.Sexp.t -> body_code
val body_code_to_yojson : body_code -> Yojson.Safe.t
val body_code_of_yojson : Yojson.Safe.t -> body_code Ppx_deriving_yojson_runtime.error_or
val hash_fold_body_code : Base.Hash.state -> body_code -> Base.Hash.state
val hash_body_code : body_code -> Base.Hash.hash_value
val compare_body_code : body_code -> body_code -> int
type 'a pbody_code = 'a Vmemitcodes.pbody_code
val sexp_of_pbody_code : ('a -> Sexplib0.Sexp.t) -> 'a pbody_code -> Sexplib0.Sexp.t
val pbody_code_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a pbody_code
val pbody_code_to_yojson : ('a -> Yojson.Safe.t) -> 'a pbody_code -> Yojson.Safe.t
val hash_fold_pbody_code : (Base.Hash.state -> 'a -> Base.Hash.state) -> Base.Hash.state -> 'a pbody_code -> Base.Hash.state
val compare_pbody_code : ('a -> 'a -> int) -> 'a pbody_code -> 'a pbody_code -> 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