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