package coq-serapi

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