package coq-serapi

  1. Overview
  2. Docs
package coq-serapi
Legend:
Library
Module
Module type
Parameter
Class
Class type
type nonrec 'a ref = 'a Stdlib.ref
val ref : 'a -> 'b Stdlib.ref
val (!) : 'a Stdlib.ref -> 'b
val (:=) : 'a Stdlib.ref -> 'b -> unit
val ref_of_sexp : (Sexplib0.Sexp.t -> 'a) -> Sexplib0.Sexp.t -> 'a Stdlib.ref
val sexp_of_ref : ('a -> Sexplib0.Sexp.t) -> 'a Stdlib.ref -> Sexplib0.Sexp.t
val ref_to_yojson : ('a -> 'b) -> 'c Stdlib.ref -> 'd
val ref_of_yojson : ('a -> ('b, 'c) Stdlib.result) -> 'd -> ('e Stdlib.ref, 'c) Stdlib.result
val compare_ref : ('a -> 'a -> int) -> 'a Stdlib.ref -> 'a Stdlib.ref -> int
val (==) : 'a -> 'a -> bool
module Lazy : sig ... end
module List : sig ... end
module Option = Stdlib.Option