Bus.Read_only
type 'callback t = ('callback, Core_kernel.read) bus
val sexp_of_t : ('callback -> Ppx_sexp_conv_lib.Sexp.t) -> 'callback t -> Ppx_sexp_conv_lib.Sexp.t
include Core_kernel.Invariant.S1 with type 'a t := 'a t
val invariant : ('a -> unit) -> 'a t -> unit