Previous  Up  Next

Module TypedSTerm.Tbl

module Tbl: Hashtbl.S  with type key = term