Previous  Up  Next

Module InnerTerm.Tbl

module Tbl: CCHashtbl.S  with type key = term