package colibri2
Normalization of equations generic in the shape of the terms
type 'a solve_with_unsolved = | AlreadyEqual| Contradiction| Unsolved| Subst of 'a Colibri2_core.Node.M.t
module WithUnsolved (P : sig ... end) : sig ... endNormalization of equations generic in the shape of the terms
type 'a solve_with_unsolved = | AlreadyEqual| Contradiction| Unsolved| Subst of 'a Colibri2_core.Node.M.tmodule WithUnsolved (P : sig ... end) : sig ... end