Previous  Up  Next

Module FOTerm.VarTbl

module VarTbl: CCHashtbl.S  with type key = var