package GT

You can search for identifiers within the package.

in-package search v0.2.0

On This Page

Parameters
Signature

Module `View.ListC`Source

Viewing lists of Viewable types with explicit concatenation function.

Parameters

module C : Concat

module X : Viewable

Signature

Sourcetype t = X.t list

The type.

Sourceval toString : t -> string

View function.