Up

Module Read_write

Signature

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