package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
module UVars = Ser_uvars
type t = CPrimitives.t =
  1. | Int63head0
  2. | Int63tail0
  3. | Int63add
  4. | Int63sub
  5. | Int63mul
  6. | Int63div
  7. | Int63mod
  8. | Int63divs
  9. | Int63mods
  10. | Int63lsr
  11. | Int63lsl
  12. | Int63asr
  13. | Int63land
  14. | Int63lor
  15. | Int63lxor
  16. | Int63addc
  17. | Int63subc
  18. | Int63addCarryC
  19. | Int63subCarryC
  20. | Int63mulc
  21. | Int63diveucl
  22. | Int63div21
  23. | Int63addMulDiv
  24. | Int63eq
  25. | Int63lt
  26. | Int63le
  27. | Int63lts
  28. | Int63les
  29. | Int63compare
  30. | Int63compares
  31. | Float64opp
  32. | Float64abs
  33. | Float64eq
  34. | Float64lt
  35. | Float64le
  36. | Float64compare
  37. | Float64equal
  38. | Float64classify
  39. | Float64add
  40. | Float64sub
  41. | Float64mul
  42. | Float64div
  43. | Float64sqrt
  44. | Float64ofUint63
  45. | Float64normfr_mantissa
  46. | Float64frshiftexp
  47. | Float64ldshiftexp
  48. | Float64next_up
  49. | Float64next_down
  50. | Arraymake
  51. | Arrayget
  52. | Arraydefault
  53. | Arrayset
  54. | Arraycopy
  55. | Arraylength
  56. | Stringmake
  57. | Stringlength
  58. | Stringget
  59. | Stringsub
  60. | Stringcat
  61. | Stringcompare
val t_of_sexp : Sexplib0.Sexp.t -> t
val sexp_of_t : t -> Sexplib0.Sexp.t
val to_yojson : t -> Yojson.Safe.t
val of_yojson : Yojson.Safe.t -> t Ppx_deriving_yojson_runtime.error_or
val hash_fold_t : Ppx_hash_lib.Std.Hash.state -> t -> Ppx_hash_lib.Std.Hash.state
val hash : t -> Ppx_hash_lib.Std.Hash.hash_value
val compare : t -> t -> int
type const = CPrimitives.const =
  1. | Arraymaxlength
  2. | Stringmaxlength
val const_of_sexp : Sexplib0.Sexp.t -> const
val sexp_of_const : const -> Sexplib0.Sexp.t
val const_to_yojson : const -> Yojson.Safe.t
val const_of_yojson : Yojson.Safe.t -> const Ppx_deriving_yojson_runtime.error_or
val hash_fold_const : Ppx_hash_lib.Std.Hash.state -> const -> Ppx_hash_lib.Std.Hash.state
val hash_const : const -> Ppx_hash_lib.Std.Hash.hash_value
val compare_const : const -> const -> int
module PTP : sig ... end
module Prim_type_ : sig ... end
type 'a prim_type = 'a Prim_type_.t
val prim_type_of_sexp : 'a. (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a prim_type
val sexp_of_prim_type : 'a. ('a -> Sexplib0.Sexp.t) -> 'a prim_type -> Sexplib0.Sexp.t
val prim_type_to_yojson : 'a. ('a -> Yojson.Safe.t) -> 'a prim_type -> Yojson.Safe.t
val prim_type_of_yojson : 'a. (Yojson.Safe.t -> 'a Ppx_deriving_yojson_runtime.error_or) -> Yojson.Safe.t -> 'a prim_type Ppx_deriving_yojson_runtime.error_or
val hash_fold_prim_type : 'a. (Ppx_hash_lib.Std.Hash.state -> 'a -> Ppx_hash_lib.Std.Hash.state) -> Ppx_hash_lib.Std.Hash.state -> 'a prim_type -> Ppx_hash_lib.Std.Hash.state
val compare_prim_type : 'a. ('a -> 'a -> int) -> 'a prim_type -> 'a prim_type -> int
module OOTP : sig ... end
module Op_or_type_ : sig ... end
type op_or_type = Op_or_type_.t
val op_or_type_of_sexp : Sexplib0.Sexp.t -> op_or_type
val sexp_of_op_or_type : op_or_type -> Sexplib0.Sexp.t
val op_or_type_to_yojson : op_or_type -> Yojson.Safe.t
val op_or_type_of_yojson : Yojson.Safe.t -> op_or_type Ppx_deriving_yojson_runtime.error_or
val _ : Yojson.Safe.t -> op_or_type Ppx_deriving_yojson_runtime.error_or
val hash_fold_op_or_type : Ppx_hash_lib.Std.Hash.state -> op_or_type -> Ppx_hash_lib.Std.Hash.state
val hash_op_or_type : op_or_type -> Ppx_hash_lib.Std.Hash.hash_value
val compare_op_or_type : op_or_type -> op_or_type -> 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