Module LogtkSymbol.Tbl

module Tbl: Hashtbl.S  with type key = t