Module Logtk.Congruence

Simple and Lightweight Congruence and order

module type S = Congruence_intf.S

Functor

module type TERM = sig ... end
module Make : functor (T : TERM) -> S with type term = T.t

Common implementations

module FO : S with type term = Term.t