package GT

You can search for identifiers within the package.

in-package search v0.2.0

Generic programming with extensible transformations

Install

sha256=55f8249e780b9a1891d9d4bb5bf2f4f7fdc619a06d9f6f04961afe193cbaaac4

sha512=3a9422aafb7a4d22c484d03950603e7f05c10512ddeb7675fe5dce73f0ef8f3537eabad1d5ebfb99c6b2e952a6203c793a1cd9d62d2863cef31616a4256b99d2

Functor to provide set to HTML generation. Set items are ordered in according to their <b>string representations</b>.

module S : Set.S

module V : Element with type t = S.elt

Sourcetype t = S.t

The type.

Sourceval toHTML : t -> string

Generate HTML representation.

On This Page