Module LogtkHashcons.S.H

module H: Weak.S  with type data = elt