package colibri2
val debug : Colibri2_core.Debug.flagtype t = | Unk of {adt : Adt_value.MonoAdt.t;cases : Adt_value.Case.S.t;
}| One of {adt : Adt_value.MonoAdt.t;case : Adt_value.Case.t;fields : Colibri2_core.Node.t Adt_value.Field.M.t;
}
val key : t Colibri2_core.Dom.Kind.tval set_dom :
Colibri2_core.Egraph.wt ->
Colibri2_core.Node.t ->
t ->
Colibri2_popop_lib.Popop_stdlib.DUnit.tval upd_dom :
Colibri2_core.Egraph.wt ->
Colibri2_core.Node.t ->
t ->
Colibri2_popop_lib.Popop_stdlib.DUnit.t