Module LogtkFormula.S.Tbl

module Tbl: Hashtbl.S  with type key = t