Module `Serlib.Ser_cPrimitives`Source

Sourcemodule UVars = Ser_uvars

Sourcetype t = CPrimitives.t =

| Int63head0
| Int63tail0
| Int63add
| Int63sub
| Int63mul
| Int63div
| Int63mod
| Int63divs
| Int63mods
| Int63lsr
| Int63lsl
| Int63asr
| Int63land
| Int63lor
| Int63lxor
| Int63addc
| Int63subc
| Int63addCarryC
| Int63subCarryC
| Int63mulc
| Int63diveucl
| Int63div21
| Int63addMulDiv
| Int63eq
| Int63lt
| Int63le
| Int63lts
| Int63les
| Int63compare
| Int63compares
| Float64opp
| Float64abs
| Float64eq
| Float64lt
| Float64le
| Float64compare
| Float64equal
| Float64classify
| Float64add
| Float64sub
| Float64mul
| Float64div
| Float64sqrt
| Float64ofUint63
| Float64normfr_mantissa
| Float64frshiftexp
| Float64ldshiftexp
| Float64next_up
| Float64next_down
| Arraymake
| Arrayget
| Arraydefault
| Arrayset
| Arraycopy
| Arraylength
| Stringmake
| Stringlength
| Stringget
| Stringsub
| Stringcat
| Stringcompare

Sourceval t_of_sexp : Sexplib0.Sexp.t -> t

Sourceval sexp_of_t : t -> Sexplib0.Sexp.t

Sourceval to_yojson : t -> Yojson.Safe.t

Sourceval 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

Sourceval hash : t -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare : t -> t -> int

Sourcetype const = CPrimitives.const =

| Arraymaxlength
| Stringmaxlength

Sourceval const_of_sexp : Sexplib0.Sexp.t -> const

Sourceval sexp_of_const : const -> Sexplib0.Sexp.t

Sourceval const_to_yojson : const -> Yojson.Safe.t

Source

val const_of_yojson : 
  Yojson.Safe.t ->
  const Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_const : 
  Ppx_hash_lib.Std.Hash.state ->
  const ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_const : const -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_const : const -> const -> int

Sourcemodule PTP : sig ... end

Sourcemodule Prim_type_ : sig ... end

Sourcetype 'a prim_type = 'a Prim_type_.t

Source

val prim_type_of_sexp : 
  'a. (Sexplib0.Sexp.t -> 'a) ->
  Sexplib0.Sexp.t ->
  'a prim_type

Source

val sexp_of_prim_type : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a prim_type ->
  Sexplib0.Sexp.t

Source

val prim_type_to_yojson : 
  'a. ('a -> Yojson.Safe.t) ->
  'a prim_type ->
  Yojson.Safe.t

Source

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

Source

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

Source

val compare_prim_type : 
  'a. ('a -> 'a -> int) ->
  'a prim_type ->
  'a prim_type ->
  int

Sourcemodule OOTP : sig ... end

Sourcemodule Op_or_type_ : sig ... end

Sourcetype op_or_type = Op_or_type_.t

Sourceval op_or_type_of_sexp : Sexplib0.Sexp.t -> op_or_type

Sourceval sexp_of_op_or_type : op_or_type -> Sexplib0.Sexp.t

Sourceval op_or_type_to_yojson : op_or_type -> Yojson.Safe.t

Source

val op_or_type_of_yojson : 
  Yojson.Safe.t ->
  op_or_type Ppx_deriving_yojson_runtime.error_or

Sourceval _ : Yojson.Safe.t -> op_or_type Ppx_deriving_yojson_runtime.error_or

Source

val hash_fold_op_or_type : 
  Ppx_hash_lib.Std.Hash.state ->
  op_or_type ->
  Ppx_hash_lib.Std.Hash.state

Sourceval hash_op_or_type : op_or_type -> Ppx_hash_lib.Std.Hash.hash_value

Sourceval compare_op_or_type : op_or_type -> op_or_type -> int

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-serapi.serlib/Serlib/Ser_cPrimitives/index.html

Module `Serlib.Ser_cPrimitives`Source

package coq-serapi

Install

Dune Dependency

Authors

Maintainers

Sources

doc/coq-serapi.serlib/Serlib/Ser_cPrimitives/index.html

Module Serlib.Ser_cPrimitivesSource

Module `Serlib.Ser_cPrimitives`Source