Module Trace_tstp.StepTbl

module StepTbl: Hashtbl.S  with type key = t