open Types

val initialize : t_solver_kind -> unit
val simplify : (reduction -> unit) -> (reduction -> unit) -> reduction -> unit
val selfun : reduction -> int
val remove_equiv_events : (reduction -> unit) -> reduction -> unit
