package GT

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `View.Map`

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

Parameters

module M : Map.S

module K : Viewable with type t = M.key

module V : Viewable

Signature

type t = V.t M.t

The type.

val toString : t -> string

View function.