coq-serapi 8.17.0+0.17.0 · OCaml Package

type t = CPrimitives.t =

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 : Base.Hash.state -> t -> Base.Hash.state

val hash : t -> Base.Hash.hash_value

val compare : t -> t -> int

type const = CPrimitives.const =

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 _ : Yojson.Safe.t -> const Ppx_deriving_yojson_runtime.error_or

val hash_fold_const : Base.Hash.state -> const -> Base.Hash.state

val hash_const : const -> Base.Hash.hash_value

type 'a prim_type = 'a CPrimitives.prim_type =

and 'a prim_ind = 'a CPrimitives.prim_ind =

and ind_or_type = CPrimitives.ind_or_type =

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

val sexp_of_prim_ind : 
  'a. ('a -> Sexplib0.Sexp.t) ->
  'a prim_ind ->
  Sexplib0.Sexp.t

val sexp_of_ind_or_type : ind_or_type -> Sexplib0.Sexp.t

val prim_type_of_sexp : Sexplib.Sexp.t -> unit prim_type

type op_or_type = CPrimitives.op_or_type =

val sexp_of_op_or_type : op_or_type -> Sexplib0.Sexp.t

val hash_fold_op_or_type : 
  Base_internalhash_types.state ->
  op_or_type ->
  Base_internalhash_types.state

val compare_op_or_type : op_or_type -> op_or_type -> int

val op_or_type_of_sexp : Sexplib.Sexp.t -> op_or_type

val op_or_type_to_yojson : 'a -> 'b

val op_or_type_of_yojson : 'a -> 'b

package coq-serapi