Module View.SetCSource

Viewing sets of Viewable types with explicit concatenation function. Set items are ordered in according to their <b>string representations</b>.

Parameters

module C : Concat
module S : Set.S
module V : Viewable with type t = S.elt

Signature

Sourcetype t = S.t

The type.

Sourceval toString : t -> string

View function.