Up
Module
Join
Signature
type
'a t = 'a
Types.Join.t
= {
main
: 'a
Types.Node.t
;
lhs
: 'a
Types.Node.t
Types.Node.t
;
lhs_change
: unit
Types.Node.t
;
mutable
rhs
: 'a
Types.Node.t
Uopt.t
;
}
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