Up
Module
Freeze
Signature
type
'a t = 'a
Types.Freeze.t
= {
main
: 'a
Types.Node.t
;
child
: 'a
Types.Node.t
;
only_freeze_when
: 'a -> bool
;
}
val
invariant : 'a
Core_kernel.Invariant_intf.inv
-> 'a
t
Core_kernel.Invariant_intf.inv
val
sexp_of_t : ('a ->
Sexplib.Sexp.t
) -> 'a
t
->
Sexplib.Sexp.t