package colibri2
val init_ty : Colibri2_core.Egraph.wt -> unitval init_check : Colibri2_core.Egraph.wt -> unitval propagate_value : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.t -> unitval init_ty : Colibri2_core.Egraph.wt -> unitval init_check : Colibri2_core.Egraph.wt -> unitval propagate_value : Colibri2_core.Egraph.wt -> Colibri2_core.Ground.t -> unit