Up
Module
Read_only
Signature
type
'a t = ('a,
Core.Std.read
)
t
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t
include
Core.Std.Invariant.S1
with
type
'a
t
:= 'a
t
type
'a t
val
invariant : 'a
Invariant_intf.inv
-> 'a
t
Invariant_intf.inv