Module Logtk.Congruence (.ml)

module Congruence: LogtkCongruence

module type S = sig .. end

Functor


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

Common implementations


module FO: S  with type term = LogtkFOTerm.t
module HO: S  with type term = LogtkHOTerm.t