Previous  Up  Next

Module InnerTerm.Set

module Set: CCSet.S  with type elt = term