Up  Next

Module InnerTerm.Map

module Map: CCMap.S  with type key = term