Previous  Up  Next

Module TypedSTerm.Set

module Set: Sequence.Set.S  with type elt = term