Module LogtkHashcons

module LogtkHashcons: sig .. end

LogtkHashconsing



module type HashedLogtkType = sig .. end
module type S = sig .. end
module Make (X : HashedLogtkType) : S  with type elt = X.t