Module LogtkPrologTerm.Tbl

module Tbl: Hashtbl.S  with type key = term