package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
val exn_on_opaque : bool ref

Controls when an opaque type produces and error vs an "abstract" constructor

val sexp_of_opaque : typ:string -> 'a -> Sexplib.Sexp.t
val opaque_of_sexp : typ:string -> Sexplib.Sexp.t -> 'a
val opaque_of_yojson : typ:string -> Yojson.Safe.t -> ('a, string) Result.t
val opaque_to_yojson : typ:string -> 'a -> Yojson.Safe.t
val hash_opaque : typ:string -> 'a -> Base.Hash.hash_value
val hash_fold_opaque : typ:string -> Base.Hash.state -> 'a -> Base.Hash.state
val compare_opaque : typ:string -> 'a -> 'a -> int