Module Incremental_kernel__.Types.If_then_else

type 'a t = {
main : 'a Node.t;
test : bool Node.t;
test_change : unit Node.t;
mutable current_branch : 'a Node.t Incremental_kernel__.Uopt.t;
then_ : 'a Node.t;
else_ : 'a Node.t;
}