Up

Module Read_only

Signature

type 'callback t = ('callback, Core_kernel.Std_internal.read) bus
val sexp_of_t : ('callback -> Sexplib.Sexp.t) -> 'callback t -> Sexplib.Sexp.t
include Core_kernel.Invariant.S1 with type 'a t := 'a t
type 'a t
val invariant : 'a Invariant_intf.inv -> 'a t Invariant_intf.inv