Module Logtk.Hashcons (.ml)

module Hashcons: LogtkHashcons

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