Module TransSys.Hashtbl

module Hashtbl: Hashtbl.S  with type key = t
Hash table over transition systems.