Previous  Up  Next

Module InnerTerm.VarTbl

module VarTbl: CCHashtbl.S  with type key = t HVar.t